/usr/share/picolisp/lib/readline.l is in picolisp 15.11-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | # 05dec08abu
# (c) Software Lab. Alexander Burger
(load "@lib/gcc.l")
(gcc "readline" '("-lreadline") '_led)
#include <readline/readline.h>
#include <readline/history.h>
any _led(any ex __attribute__((unused))) {
char *p;
any x;
rl_already_prompted = YES;
if ((p = readline(": ")) && *p)
add_history(p);
x = mkStr(p);
free(p);
return x;
}
/**/
# Enable line editing
(de *Led (_led))
# vi:et:ts=3:sw=3
|