I was writing a simple script to delete some log files, all the log filenames contain the date of creation in the form YYYYMMDD and I needed to delete the files from previous month keeping the current month. The script will run on the last day of every month.
I thought the task will be very easy as I could use the GNU date command to build the date string, something like:
# The year
Use the date relative option for getting the previous month, something like:
date --date="-1 month" +%m
Then concatenate both strings and build a file pattern using wildcards like ? and *.
The system date was 2019-05-31 ahd I was expecting the 04 string as the output, instead 05 was printed.
I tried several variants and all printed the same, 05:
$ date --date="-1 month" +%m
$ date --date="last month" +%m
I DuckDuckGoed the Internet and found this answer:
This is from the coreutils manual online:
$ date --date="$(date +%Y%m15) -1 month" +%m
Friday, May 31, 2019
GNU date and relatives dates
Posted by J. Ernesto Aneiros at 3:46 PM No comments:
Labels: DATE, GNU, relative date
Wednesday, May 8, 2019
PDFs don't open automatically in Chrome
You can normally open PDFs automatically in Chrome by clicking on the file you want to see. If your PDFs are downloading instead of opening automatically in Chrome, Chrome PDF viewer could be turned off.
Open PDFs in Chrome
- On your computer, open Chrome.
- At the top right, click More Settings.
- At the bottom, click Advanced.
- Under "Privacy and security," click Site settings.
- Near the bottom, click PDF documents.
- Turn off Download PDF files instead of automatically opening them in Chrome.
Chrome will now open PDFs automatically when you click them.
Posted by J. Ernesto Aneiros at 12:11 PM No comments:
Monday, March 4, 2019
2019 Holiday Schedule
|Tuesday, January 1||New Year’s Day|
|Monday, January 21||Birthday of Martin Luther King, Jr.|
|Monday, February 18*||Washington’s Birthday|
|Monday, May 27||Memorial Day|
|Thursday, July 4||Independence Day|
|Monday, September 2||Labor Day|
|Monday, October 14||Columbus Day|
|Monday, November 11||Veterans Day|
|Thursday, November 28||Thanksgiving Day|
|Wednesday, December 25||Christmas Day|
*This holiday is designated as "Washington’s Birthday" in section 6103(a) of title 5 of the United States Code, which is the law that specifies holidays for Federal employees. Though other institutions such as state and local governments and private businesses may use other names, it is our policy to always refer to holidays by the names designated in the law.
Taken from: https://www.opm.gov/policy-data-oversight/snow-dismissal-procedures/federal-holidays/#url=2019
Posted by J. Ernesto Aneiros at 11:29 AM No comments:
Subscribe to: Posts (Atom)