SaveVersion

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