SaveVersion - Revision history

Hdridder at 09:41, 20 January 2022

2022-01-20T09:41:47Z

← Older revision		Revision as of 09:41, 20 January 2022
Line 1:		Line 1:
	[[Category:Programming]]		[[Category:Programming]]
	[[Category:~~Bash~~]]		[[Category:Linux/Unix]]
	This script can be called from code editors like [[Bluefish]] and [[Geany]].		This script can be called from code editors like [[Bluefish]] and [[Geany]].

Hdridder at 14:04, 9 June 2019

2019-06-09T14:04:17Z

← Older revision		Revision as of 14:04, 9 June 2019
Line 1:		Line 1:
	[[Category:~~ProgrammingTools~~]]		[[Category:Programming]]
	[[Category:Bash]]		[[Category:Bash]]
	This script can be called from code editors like [[Bluefish]] and [[Geany]].		This script can be called from code editors like [[Bluefish]] and [[Geany]].

Hdridder at 14:59, 8 June 2019

2019-06-08T14:59:37Z

← Older revision		Revision as of 14:59, 8 June 2019
Line 1:		Line 1:
	This script can be called from code editors ~~olie~~ [[Bluefish]] and [[Geany]].		[[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.

Hdridder: Created page with "This script can be called from code editors olie Bluefish and Geany. It compares the current file with a saved version (_. If there is no saved v..."

2019-06-08T14:57:31Z

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..."

New page

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.

<syntaxhighlight lang=bash>

#!/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
</syntaxhighlight>