Frank LENORMAND
|
5b1f9255a1
|
rc: Use the standard fail command to report errors
Merely using `echo` with markup doesn't log errors in the debug
buffers, and is also less readable.
|
2019-11-14 08:32:55 +01:00 |
|
codesoap
|
ca2741fe20
|
Rename ModuleLoad hook to ModuleLoaded
This clarifies, that the hook is run *after* the module is loaded.
|
2019-06-25 19:16:47 +02:00 |
|
codesoap
|
df03a8850c
|
Comment on the escape sequence for setting the terminal's title
|
2019-06-18 11:52:33 +02:00 |
|
codesoap
|
9d8fb8bc31
|
Print escape sequence to set the window title
Using xdotool was probably a little less portable, because it relied on
the newly created window to be activated by the window manager.
|
2019-06-18 11:41:59 +02:00 |
|
codesoap
|
feebad14b0
|
Set the REPL window title using xdotool
As mentioned in issue #2973, the -t argument for setting the terminal
title was not very portable.
|
2019-06-18 09:58:32 +02:00 |
|
Justin Frank
|
aa6d19bee6
|
Added modules to extra files
|
2019-04-08 17:05:55 -07:00 |
|
Alex Leferry 2
|
7d400dce7f
|
Add windowing/repl category
|
2019-03-21 12:09:39 +01:00 |
|