1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
% console_keys.sl: make shift-arrow etc. work under linux-console
%
% Copyright (c) 2005 Gnter Milde
% Released under the terms of the GNU General Public License (ver. 2 or later)
%
% Versions:
% 0.1 2006-02-02 proof of concept (works for me)
% 0.2 2006-05-29 remove custom-var Jed_Temp_Dir
% after learning that make_tmp_file() uses Jed_Tmp_Directory
% since 0.99.17-165.
%
% USAGE
% -----
%
% put in your in jed.rc something like
%
% #ifndef XWINDOWS IBMPC_SYSTEM
% autoload("set_console_keys", "console_keys");
% if (getenv("DISPLAY") == NULL and BATCH == 0)
% set_console_keys();
% #endif
%
% `loadkeys` permissions
% ----------------------
%
% On some systems (e.g. SuSE), loadkeys requires superuser privileges.
%
% The sysadmin could provide a wrapper, a "console" group or some sudo
% configuration to share the privileges with trustworthy users.
%
% In any case, on such systems console_keys.sl will fail if you do not have
% access to the "root" account.
%
% Drawbacks
% ---------
%
% console_keys.sl changes the keysyms for all virtual konsoles, which
% might break other programs
%
% Workaraound: console_keys saves you previous settings
% (with dumpkeys) and loads them after finishing jed
% However, while jed is running, shifted movement keys behave
% differently from the standard.
% Idea: Trap the konsole-switching keys as well and write a function
% that resets the keys and switches the console (as well as
% loads the console_keys after coming back with a _before_key_hook
static variable keymap_cache =
make_tmp_file("console_keys_");
% restore the keymap to previous state
define restore_console_keys()
{
variable cmd, status;
% load the saved keymap
cmd = "loadkeys " + keymap_cache;
status = system(cmd);
if (status)
verror("%s returned %d, %s", cmd, status, errno_string(status));
return 1;
}
% save the current keymap and set the special keymap
define set_console_keys()
{
variable cmd, status,
keymap = expand_jedlib_file("console_keys.map");
if (keymap == NULL)
verror("console_keys.map not found on '%s'", get_jed_library_path);
% save the current keymap
cmd = "dumpkeys > " + keymap_cache;
status = system(cmd);
if (status)
verror("%s returned %d, %s", cmd, status, errno_string(status));
% load the special keymap
cmd = "loadkeys " + keymap;
status = system(cmd);
if (status)
verror("%s returned %d, %s", cmd, status, errno_string(status));
add_to_hook("_jed_exit_hooks", &restore_console_keys);
}
|
