Monthly Archives: September 2007

Windows shell script: putting date & time into a file

SET mydate=%DATE:~4,2%_%DATE:~7,2%_%DATE:~10,4% echo mydate >> somefile.txt

Posted in Windows OS | Comments Off on Windows shell script: putting date & time into a file

Open Source Diff Tool

Interesting tool: http://winmerge.org/ To quote the authors: WinMerge is an Open Source visual text file differencing and merging tool for Win32 platforms. It is highly useful for determing what has changed between project versions, and then merging changes between versions. … Continue reading

Posted in Open Source, Utilities | Comments Off on Open Source Diff Tool