Difference between revisions of "SaveVersion"
Jump to navigation
Jump to search
(Created page with "This script can be called from code editors olie Bluefish and Geany. It compares the current file with a saved version (<filename>_<timestamp>. If there is no saved v...") |
|||
| Line 1: | Line 1: | ||
| − | This script can be called from code editors | + | [[Category:ProgrammingTools]] |
| + | [[Category:Bash]] | ||
| + | This script can be called from code editors like [[Bluefish]] and [[Geany]]. | ||
It compares the current file with a saved version (<filename>_<timestamp>. If there is no saved version or if the save version differs from the current one a new copy is made. | It compares the current file with a saved version (<filename>_<timestamp>. If there is no saved version or if the save version differs from the current one a new copy is made. | ||
Revision as of 16:59, 8 June 2019
This script can be called from code editors like Bluefish and Geany.
It compares the current file with a saved version (<filename>_<timestamp>. If there is no saved version or if the save version differs from the current one a new copy is made.
#!/bin/bash
FILE=$1
echo Saving ${FILE}
if (( ! ls -1 "${FILE}"_* > /dev/null 2>&1 ) || ( ! diff "${FILE}" `ls -1 "${FILE}"_*|tail -1` > /dev/null 2>&1 ))
then
cp "${FILE}" "${FILE}_"`date +%Y%m%d_%H%M%S`
echo File saved as ${FILE}_"`date +%Y%m%d_%H%M%S`
fi