213:67ef4e6e6ceb
Anton Shestakov <av6@dwimlabs.net>, Sat, 08 May 2021 07:52:45 +0800
terminalrc: add new terminal options, switch to 11 font (the same as old 10?)
previous change 51:8edd66f923ca

docs/prompt-session-root.sh

Permissions: -rw-r--r--

File Latest Revisions Annotate Diff Comparison
Other formats:
JSON Raw
Feeds:
Atom RSS 
#!/bin/false
# paste this into an interactive shell
env EUID=0 bash -i