[lmi-commits] (no subject)

[Greg Chicares]

branch: master
commit fc40f32daf5b1383d484a4dd45d4aa3325443df8
Author: Gregory W. Chicares <address@hidden>
Date:   Sun May 29 23:44:03 2016 +0000

    Augment list of useful commands
---
 gwc/develop1.txt |   17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/gwc/develop1.txt b/gwc/develop1.txt
index 09e74e7..ef02d1e 100644
--- a/gwc/develop1.txt
+++ b/gwc/develop1.txt
@@ -46,6 +46,14 @@ git mv lmi.rc lmi_msw_res.rc
 git diff file0.cpp file1.cpp >/dev/clipboard
 cvs diff -U3 file0.cpp file1.cpp >/dev/clipboard
 
+  # Apply an email patch
+
+git am --scissors /path/to/patch
+
+  # Discard local changes to particular files
+
+git checkout -- ce_skin_name.cpp ce_skin_name.hpp
+
   # Roll a file back to an earlier revision
 
 git checkout [sha1sum] census_view.cpp
@@ -89,6 +97,15 @@ export CVS_RSH="ssh"
 export CVSROOT="{USER}{AT_SIGN}cvs.sv.gnu.org:/web/lmi"
 cvs -z3 update -l lmi
 
+  # Set mirror timestamps to match working directory's
+  #
+  # This is slow, so consider specifying the names of changed files
+  # instead of using '*' at the beginning
+  #
+  # ...for git:
+
+for z in * ; do [ -f $z ] && ( [ $z -nt /lmi/src/lmi/$z ] || [ $z -ot 
/lmi/src/lmi/$z ] ) && touch --reference=/lmi/src/lmi/$z $z; done
+
   # Third screen: only for building and testing
 
 cd /lmi/src/lmi