1826
|
1 |
#!/bin/bash
|
|
2 |
# set the keyboard modifiers used by Isabelle 8bit package
|
|
3 |
|
|
4 |
###############################################
|
|
5 |
# The variables SUPER_L and HYPER_R are automatically configured
|
|
6 |
# by the Master Makefile. You should configure them there.
|
|
7 |
###############################################
|
|
8 |
|
5672
|
9 |
#keycode for Super_L (= left Meta)
|
|
10 |
SUPER_L=127
|
1826
|
11 |
|
5672
|
12 |
#keycode for Hyper_R (= right Meta)
|
|
13 |
HYPER_R=129
|
1826
|
14 |
|
4827
|
15 |
|
1826
|
16 |
# define modifier keys for Isabelle keystrokes
|
5672
|
17 |
# map super-key onto left Meta key
|
1826
|
18 |
xmodmap -e "keycode $SUPER_L = Super_L"
|
|
19 |
|
5672
|
20 |
# map hyper-key onto right Meta key
|
1826
|
21 |
xmodmap -e "keycode $HYPER_R = Hyper_R"
|
|
22 |
|
4827
|
23 |
# define new keysyms to generate Mod1 and Mod5
|
5672
|
24 |
xmodmap -e "clear Mod1" -e "add Mod1 = Super_L"
|
|
25 |
xmodmap -e "clear Mod5" -e "add Mod5 = Hyper_R"
|
1826
|
26 |
|
|
27 |
# make bash, axe, and vim accept 8 bit input
|
|
28 |
#export LANG=iso_8859_1
|
|
29 |
export LESSCHARSET=latin1
|
|
30 |
export INPUTRC=$ISABELLE8BIT/keyboard/bash.inputrc
|