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 26 on SUN, 64 on Linux box |
9 #keycode for Super_L (= Alt ) 26 on SUN, 64 on Linux box |
10 SUPER_L=26 |
10 SUPER_L=26 |
11 |
11 |
12 #keycode for Hyper_R 20 on SUN, 113 on Linux box |
12 #keycode for Hyper_R (= Alt Gr) 20 on SUN, 113 on Linux box |
13 HYPER_R=20 |
13 HYPER_R=20 |
14 |
14 |
|
15 |
15 # define modifier keys for Isabelle keystrokes |
16 # define modifier keys for Isabelle keystrokes |
16 # map super-key onto alt-key |
17 # map super-key onto MetaL-key |
17 xmodmap -e "keycode $SUPER_L = Super_L" |
18 xmodmap -e "keycode $SUPER_L = Super_L" |
18 |
19 |
19 # map hyper-key onto altgraph-key |
20 # map hyper-key onto MetaR-key |
20 xmodmap -e "keycode $HYPER_R = Hyper_R" |
21 xmodmap -e "keycode $HYPER_R = Hyper_R" |
21 |
22 |
22 # define new keysyms as Mod2 and Mod4 |
23 # define new keysyms to generate Mod1 and Mod5 |
23 xmodmap -e "add Mod2 = Super_L" -e "add Mod4 = Hyper_R" |
24 xmodmap -e "clear Mod3" -e "clear Mod1" -e "add Mod1 = Super_L" |
|
25 xmodmap -e "clear Mod2" -e "clear Mod5" -e "add Mod5 = Hyper_R" |
24 |
26 |
25 # make bash, axe, and vim accept 8 bit input |
27 # make bash, axe, and vim accept 8 bit input |
26 #export LANG=iso_8859_1 |
28 #export LANG=iso_8859_1 |
27 export LESSCHARSET=latin1 |
29 export LESSCHARSET=latin1 |
28 export INPUTRC=$ISABELLE8BIT/keyboard/bash.inputrc |
30 export INPUTRC=$ISABELLE8BIT/keyboard/bash.inputrc |