Searched refs:READLINE_FILE (Results 1 – 6 of 6) sorted by relevance
171 { READLINE_FILE=readline-$READLINE_VERSION.tar.gz173 [ -f $READLINE_FILE ] || wget https://ftp.gnu.org/gnu/readline/$READLINE_FILE174 tar xzf $READLINE_FILE
208 g.READLINE_FILE = os.path.join(paths.get_config_dir(), "input_history")210 if os.path.exists(g.READLINE_FILE):211 readline.read_history_file(g.READLINE_FILE)
62 READLINE_FILE = None variable
327 READLINE_FILE = None variable in g387 g.READLINE_FILE = os.path.join(get_config_dir(), "input_history")389 if os.path.exists(g.READLINE_FILE):390 readline.read_history_file(g.READLINE_FILE)1818 readline.write_history_file(g.READLINE_FILE)
52 readline.write_history_file(g.READLINE_FILE)
140 DIFFER(SDB.COMMAND_FILE) :S(SDB.READLINE_FILE)145 SDB.READLINE_FILE