1% 2% Special file for Linux systems. 3% 4 5% This file sets up the console keys pgup/dn, etc. 6% To use it, simply rename it to defaults.sl. 7 8% The directory where info files are kept. Modify this appropriately. See 9% 'install.all' for a discussion of this. 10 11%Info_Directory = ??? 12 13 14$1 = getenv ("TERM"); 15if ($1 == NULL) $1 = ""; 16if (is_list_element ("linux,console,con80x25,con80x28", $1, ',')) 17{ 18 USE_ANSI_COLORS = 1; % uncomment if your console is a color one! 19 OUTPUT_RATE = 0; 20 TERM_CANNOT_SCROLL = -1; % Truth is, linux console does not scroll well. 21 setkey("bol", "\e[1~"); % home 22 setkey("toggle_overwrite", "\e[2~"); % insert 23 setkey("delete_char_cmd", "\e[3~"); % delete 24 setkey("eol", "\e[4~"); % end 25 setkey("page_up", "\e[5~"); 26 setkey("page_down", "\e[6~"); 27} 28