DadOverflow.com

Musings of a dad with too much time on his hands and not enough to do. Wait. Reverse that.

Tag: linux (Page 1 of 3)

Docker and WSL 2

July 6, 2021 /

I clearly missed the announcement: Docker Desktop for Windows will now run on Windows Subsystem for Linux (WSL) version 2.

Up until a few days ago, I had understood that I would only be able to run Docker for Windows if I spent the $100-$200 to upgrade my operating system from Windows 10 Home to Windows 10 Pro, since Pro includes virtualization features needed for Docker that Home does not. At work, I run Docker Desktop for Windows and hoped I could leverage that work experience in some of my home projects.

So, I had resigned myself to learning about the docker/linux experience at home while enjoying the Windows-based experiences at work.

Over the weekend, I upgraded to WSL 2–a surprisingly easy upgrade–and then for kicks, installed Windows Terminal. Then, I prepared for disappointment as I started researching the Docker install on WSL. And then I clicked on the link from the Microsoft article and read this:

Docker Desktop for Windows is available for free.

Requires Microsoft Windows 10 Professional or Enterprise 64-bit, or Windows 10 Home 64-bit with WSL 2.

Awesome! So I can get the full Docker Windows experience without having to upgrade to Win10 Pro. Exciting!

The install went smoothly, so I’ll hopefully have one or two Docker-type posts in the future.

Iterating over a date range

August 13, 2020 /

I leverage a number of different programming and scripting tools. Recently, I found myself in a situation where I had to write code to loop through a range of dates to do some operations, by month, in not one, not two…but three different languages: Scala, Python, and Bash. The coding principles are the same across the technologies, but the syntax sure is different.

Here are code examples in four technologies–I threw in PowerShell for good measure–for looping through a range of dates. I loop by month, but these could easily be adapted to loop by day or year or whatever increment fits your needs.

Scala

import java.time.LocalDate
import java.time.format.DateTimeFormatter
import java.util.Date

val start = LocalDate.of(2020, 1, 1) // inclusive in loop
val end = LocalDate.of(2020, 9, 1) // excluded from loop

val template = "This loop is for Year %1$d and Month (zero padded) %2$s \n"

val date_range = Iterator.iterate(start) { _.plusMonths(1) }.takeWhile(_.isBefore(end))
while(date_range.hasNext){
	val d = date_range.next
	val s = template.format(d.getYear, d.format(DateTimeFormatter.ofPattern("MM")))
	print(s)
}

Python

import datetime
import calendar

start = datetime.date(2020, 1, 1)
end = datetime.date(2020, 9, 1)
template = "This loop is for Year {0} and Month (zero padded) {1:%m}"

while start != end:
	s = template.format(start.year, start)
	print(s)
	days_in_month = calendar.monthrange(start.year, start.month)[1]
	start = start + datetime.timedelta(days=days_in_month)

Bash

start=2020-1-1
end=2020-9-1

while [ "$start" != "$end" ]; do
	s="`date -d "$start" +"This loop is for Year %Y and Month (zero padded) %m"`"
	echo s
	start=$(date -I -d "$start + 1 month")
done

PowerShell

$start = get-date "2020-1-1"
$end = Get-Date "2020-9-1"

while($start -ne $end){
    "This loop is for Year {0:yyyy} and Month (zero padded) {0:MM}" -f $start
    $start = $start.AddMonths(1)
}

One big 2019 accomplishment

December 31, 2019 /

I’ve blogged in the past about the importance of recording your family events and periodically consolidating that work into a polished product for the world–or at least your family and friends–to see.

To that end, I’m now on my twelfth year of creating an annual family video where I painstakingly go through a year’s worth of family pictures, video, artwork, and awards to highlight my family’s accomplishments in an 80 minute montage of clips and fun segues. Here’s a short summary of that work:

My works average about 84 minutes year after year. You may also notice the missing years 2007 and 2008. After all the effort I expelled compiling my 2006 video, I spent the next two years saying, “never again”! I convinced myself to jump back into the fray in 2009 and kept at it ever since.

What sort of effort are we talking about?

I haven’t tabulated the total hours of effort I invest into culling my media for the few minutes of baskets, goals, and solos, but my efforts do span several weeks and consume much of my end-of-year vacation days.

Typically, I start with an outline–a text file. I start going through the year’s worth of media I’ve collected and note the major scenes or sections: for example, basketball season, soccer season, instrumental/choir recitals, family vacation, birthday celebrations, etc. Once I’ve decided on my scenes, I try to decide on how to order them in my outline. For the most part, I try to stick to a chronological order, but if I find that one of my children is the focus in multiple back-to-back scenes, I will try to intersperse those scenes with others that focus on another child, so as to dispel any sense of favoritism in the final product.

Once I have my outline, I wrap it with intro and outro scenes. These scenes allow me a small level of creativity. For my intros, I try to mimic one you might see in a television show or movie. I find some snazzy music bed, play a quick sequence of photos of the family members with fancy transitions over it, and end the quick 30 second intro with a nifty title of the video: something about our family and our goings-on over the year.

Again attempting to mimic conventional outros in the mainstream, I try to find an upbeat, family-friendly song and run a bunch of photos of the members from the year on top of it. I do forgo the credits piece as I tend to be the producer, directory, key grip, and best boy all in one.

With my outline set, the real work begins watching hours of footage to pull out just the highlights. In years past, I would work through the outline in order: building my intro scene and working all the way through to my outro scene. This year, though, I decided to work out-of-order, trying to knock out some of the harder scenes first. I think this proved to be pretty successful and I’ll probably take the same approach next year.

How much media do you really have?

Maybe next year, I’ll try to tally up the minutes and hours I spend assembly the final product. Starting with this year, though, I decided I wanted to at least tally up the number of hours and minutes of raw footage I must sift through to do my work. To do this, I needed to find an easy way to collect duration times of all my media files.

When I wrote my Music to Drive By solution, I wrote a PowerShell script that, in part, tallied up the duration of all the MP3 files it wrote to my thumb drive as an output to the console. That script is soooo slow. Surely there have been new, speedier innovations in capturing media file durations in both PowerShell and Windows since then. Nope. None that I can find, anyway.

WSL, ftw

So, I decided to see what I could do in the Windows Subsystem for Linux. There are many options out there and I decide to give the MediaInfo utility a try based on this helpful post. MediaInfo can only look at one media file at a time, but that same post included some very helpful Bash code to let me loop through directories of my media files and total their durations in miliseconds. Here’s, roughly, the Bash script I came up with:

let total_duration_ms=0
for media_file in /mnt/extdrv/qsync_backup/Videos/2019/*/*/*.{mp3,mp4,mov,wav,MP3,MP4,MOV,WAV}; do
        if [ -f "$media_file" ]; then
                total_duration_ms=$(expr $total_duration_ms + $(mediainfo --Inform="General;%Duration%" "$media_file"))
        fi
done
echo $total_duration_ms

One other item I should note: I house my media files on external hard drives. Getting WSL to see my external hard drive was simple once I mounted it. This post aided in that regard.

So, how much raw footage did I have to work with this year?

25.4 hours

I trimmed over twenty five hours down to an 82 minute family video. Well, less than that, actually, as a good 7-8 minutes of the video was probably still shots and transitions. So, yes, I consider this one of my accomplishments this year.

« Older posts

© 2024 DadOverflow.com

Theme by Anders Noren — Up ↑