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: