The goal of efficiency is more slack.

Friday, August 18, 2017

Linux date command

To format a date, e.g. for use in a file name:
NAME=$(date +arbitrary_string-%F/%H%M)
echo $NAME
Result:
arbitrary_string-2017-08-18/1300

Related Posts:

  • Verifying OpenSSL certificates Verifying that a certificate is issued by a CA How to use OpenSSL on the command line to verify that a certificate was issued by a specific CA, give… Read More
  • Creating paths in PythonLet's say you had this tree: /home/me/example.com/passenger_wsgi.py /home/me/example.com/virtualenv In the Python script, to refer to the directory t… Read More
  • Blog from the command lineGoogleCL allows you to post to your Blogger blog from the command line. To install: Install Python gdata libraries. This entails downloading, untarri… Read More
  • Fix init sequence in Raspberry PiIf the init sequence gets broken and you can't get to a shell on a Raspberry Pi (I'm using 3 model B), you can boot into recovery mode this way. Hit… Read More
  • sed basicsTo replace all instances of http://www.youtube in html files to https://www.youtube: find . -name "*.html" -exec sed -i 's|http://www.youtube|https:/… Read More

0 comments:

Popular Posts

Recent Posts

Unordered List

Text Widget

Pages

Powered by Blogger.
Scroll To Top