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