diff options
| author | vgross | 2010-02-18 17:57:37 +0000 |
|---|---|---|
| committer | vgross | 2010-02-18 17:57:37 +0000 |
| commit | afd1cb8cf34fa0010e6fcceab08f24c993da0fb3 (patch) | |
| tree | 174a7c6a1639c4cd2aa547fe10b664f3ee70bde3 /ide/uim/patch-uim.sh | |
| parent | 288be839109af2ced678d908b6203026cdf55d51 (diff) | |
Polishing the setup of CoqIDE Input Method
autodetection via ./configure, automated installation target
"install-im", and no more patching. Plus documentation of the procedure
in the reference manual.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12790 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/uim/patch-uim.sh')
| -rwxr-xr-x | ide/uim/patch-uim.sh | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/ide/uim/patch-uim.sh b/ide/uim/patch-uim.sh deleted file mode 100755 index cd8c495133..0000000000 --- a/ide/uim/patch-uim.sh +++ /dev/null @@ -1,27 +0,0 @@ -#!/bin/sh - -BASEDIR=`dirname $0` -UIMDIR="/usr/share/uim" - -RULES=$BASEDIR/latin-ltx-rules.scm - -echo "adding latin_ltx-rules to elatin" -cp $UIMDIR/elatin-rules.scm $UIMDIR/elatin-rules.scm.orig -cat $BASEDIR/latin-ltx-rules.scm >> $UIMDIR/elatin-rules.scm - -echo "patching elatin-custom.scm" -cp $UIMDIR/elatin-custom.scm $UIMDIR/elatin-custom.scm.orig -sed -e "/elatin-rules-latvian-keyboard/ \ -s/^.*$/\t(list 'elatin-rules-latin-ltx\n\ -\t(N_ \"Latin-ltx\")\n\ -\t(N_ \"Latex-style input method.\"))\n\ -&/" $UIMDIR/elatin-custom.scm.orig > $UIMDIR/elatin-custom.scm - -if [ "x$AUTOON" = "xyes" ]; then - echo "setting elatin to be on by default" - cp $UIMDIR/elatin.scm $UIMDIR/elatin.scm.orig - sed -e "/default-widget_elatin_input_mode/ s/action_elatin_off/action_elatin_on/" \ - $UIMDIR/elatin.scm.orig > $UIMDIR/elatin.scm -fi - -echo "all done" |