SaveVersion
Jump to navigation
Jump to search
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 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