chiark / gitweb /
Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile
authorMark Wooding <mdw@distorted.org.uk>
Fri, 15 Jan 2016 22:43:53 +0000 (22:43 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 15 Jan 2016 22:43:53 +0000 (22:43 +0000)
* 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile:
  bin/mdw-build: Add a `native' option.
  bin/mdw-build: Allow configuration of the `setup' command.
  bin/mdw-build: `nocommit' isn't a special case.
  git/attributes: Don't put tabs in TeX files.
  dot/e16-bindings: Set cursor shape; repaint display.

bin/mdw-build
dot/e16-bindings
git/attributes

index 9717a207ede5906a4c685ee33a55f2b834b62255..9eb466bd7042c7c716e4c3f4855904d4f6604a64 100755 (executable)
@@ -64,12 +64,13 @@ Build options:
 
   [no]checkout[=REV]
   [no]release
-  [no]setup
+  [no]setup[=RUNE]
   [no]distcheck
   [no]debian
   [no]upload
   [no]clean
   [no]vpath
+  [no]native
 EOF
 }
 
@@ -89,23 +90,27 @@ checkout=yes
 checkoutrev=HEAD
 build=test
 setup=yes
+setupcmd=mdw-setup
 distcheck=yes
 debian=yes
 upload=yes
 clean=yes
 vpath=yes
+native=yes
 for opt; do
   case "$opt" in
     checkout)  checkout=yes checkoutrev=HEAD ;;
     checkout=*) checkout=yes checkoutrev=${opt#*=} ;;
-    nocheckout) checkout=no ;;
     release)   build=release ;;
     norelease) build=test ;;
+    setup)     setup=yes setupcmd=mdw-setup ;;
+    setup=*)   setup=yes setupcmd=${opt#*=} ;;
 
-    setup | distcheck | debian | upload | clean | vpath)
+    distcheck | debian | upload | clean | vpath | native)
       eval "$opt=yes"
       ;;
-    nosetup | nodistcheck | nodebian | noupload | noclean | novpath)
+    nocheckout | nosetup | nodistcheck | nodebian | \
+    noupload | noclean | novpath | nonative)
       eval "${opt#no}=no"
       ;;
     *)
@@ -263,7 +268,7 @@ esac
 ## Maybe refresh the build machinery.
 case "$setup" in
   yes)
-    run mdw-setup
+    run $setupcmd
     ;;
 esac
 
@@ -310,9 +315,14 @@ esac
 
 cd $releasepath
 
-if ! tar tf $buildpath/$distdir.tar.gz 2>/dev/null | grep -q RELEASE; then
-  fail "missing RELEASE file in distribution"
-fi
+case $native in
+  yes)
+    if ! tar tf $buildpath/$distdir.tar.gz 2>/dev/null | grep -q RELEASE
+    then
+      fail "missing RELEASE file in distribution"
+    fi
+    ;;
+esac
 
 run mv $buildpath/$distdir.tar.gz .
 case $build in
index ebb44cefc600d48a367961f79a798273438d6957..4252cb758e937a4189302dd54e416f8044920007 100644 (file)
@@ -40,11 +40,13 @@ KeyDown    5      Tab focus next
 KeyDown    5     plus desk next
 KeyDown    5    minus desk prev
 KeyDown   C5        a desk arrange
+KeyDown   C5        c exec xsetroot -cursor_name left_ptr
 KeyDown   C5        f wop * fullscreen
 KeyDown   C5        g magwin show
 KeyDown   C5        h wop * tw available
 KeyDown   C5        i wop * iconify
 KeyDown   C5        k wop * kill
+KeyDown          C5        l exec xrepaint -a
 KeyDown   C5        m wop * ts available
 KeyDown   C5        r wop * shade
 KeyDown   C5        s wop * stick
index 858068d0f8268c1d8baa815afce917c9070fefb7..0738f57ae8f5966e2dcd2e978108a3efc01a8592 100644 (file)
@@ -5,3 +5,4 @@
 *.lisp         diff=lisp
 
 *.py           whitespace=trailing-space,space-before-tab,tab-in-indent
+*.tex          whitespace=trailing-space,space-before-tab,tab-in-indent