< ^ txt
Fri Jul 21 06:59:46 EDT 2017
Slept from eleven to six.
High of ninety. Mostly sunny.
Scott has the day off.
Work:
- Remember to change backup disk
Done.
- Check out old, open work orders
Done.
Oh, ho! Sean Spicer resigned.
He was one of my picks in the office Trump administration death pool.
I won $92.
Fifteen minute walk at lunch.
Saw a little white butterfly.
How do I capture the output of the shell's `time`?
https://stackoverflow.com/questions/13356628/is-there-a-way-to-redirect-time-output-to-file-in-linux
Strip out the standard error in a {} group command, leaving `time` STDERR output outside the group command.
$ { time ls 2> /dev/null ; } 2> /tmp/time.txt
https://technet.microsoft.com/en-us/library/bb490890.aspx
Windows Command-line reference A-Z
Home:
- Desktop notifications
Done.
What desktop applications do I regularly use?
i3, gnome-terminal, bash or zsh, vim, tmux, Chromium, nautilus, mplayer, evince and/or xpdf, ssh, gpg, keepassx, sxiv, libnotify, dunst
Lunch: coffee, nuts, carrots, spinach, peanut butter and jelly, apple, chai tea
Dinner:
< ^ txt