diff options
| author | vgross | 2009-12-21 16:57:21 +0000 |
|---|---|---|
| committer | vgross | 2009-12-21 16:57:21 +0000 |
| commit | 94571fef30b35246341565ccd2696aff511de253 (patch) | |
| tree | 14b80cfadafad9f0719a99552243e7088ba442f5 /ide/uim/patch-uim.sh | |
| parent | 554a6c8066d764192eac5f82cc14f71d349abbad (diff) | |
Patches and instructions to enable Input Method support in CoqIDE.
TODO: don't patch the ELatin IM, create a separate IM or push the patch
upstream.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12604 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, 27 insertions, 0 deletions
diff --git a/ide/uim/patch-uim.sh b/ide/uim/patch-uim.sh new file mode 100755 index 0000000000..cd8c495133 --- /dev/null +++ b/ide/uim/patch-uim.sh @@ -0,0 +1,27 @@ +#!/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" |