dot/shell-rc, etc.: Introduce an easily user-definable prompt section.
[profile] / dot / shell-rc
2022-02-12 Mark Woodingdot/shell-rc, etc.: Introduce an easily user-definable...
2022-02-12 Mark Woodingdot/shell-rc: Rearrange variable initialization to...
2020-08-09 Mark Woodingdot/lisp-init.lisp, dot/shell-rc: Support CCL and ABCL...
2020-08-09 Mark Woodingdot/lisp-init.lisp, dot/shell-rc: Suppress Lisp heralds...
2020-05-13 Mark Woodingdot/shell-rc: Behave usefully in Cygwin elevated sessions.
2020-05-13 Mark Woodingdot/shell-rc: Cache whether we're running as root.
2020-05-13 Mark Woodingdot/shell-rc: Introduce `$__mdw_user' as an indirection...
2020-05-13 Mark Woodingdot/shell-rc: Use `$USER' directly now that I've set...
2020-05-13 Mark Woodingdot/shell-rc: Make sure that `$USER' is defined.
2020-05-09 Mark Woodingdot/shell-rc: Put the hostname qualifiers in the termin...
2020-05-09 Mark Woodingdot/shell-rc: Factor out the terminal and screen title...
2020-05-09 Mark Woodingdot/shell-rc: Calculate the hostname qualifiers once...
2020-05-09 Mark Woodingdot/shell-rc: Run `cross-run' nicely by default.
2020-04-25 Mark Woodingdot/shell-rc: Write the various control sequences to...
2020-04-22 Mark Woodingdot/shell-rc: Set the window title to something useful.
2020-04-22 Mark Woodingdot/shell-rc: Capture the hostname once and for all.
2020-04-22 Mark Woodingdot/shell-rc: Track rename of `$MDW_BUILDENV' to `...
2020-04-21 Mark Woodingdot/shell-rc, dot/bashrc, dot/zshrc: Introduce a formal...
2019-08-22 Mark Woodingdoc/shell-rc: Hide the `gdb' banner.
2019-08-03 Mark Woodingdot/shell-rc: Colourize `diff' output similarly to...
2018-11-22 Mark Woodingdot/shell-rc: Fix bungled prompt hack.
2018-11-22 Mark Woodingdot/shell-rc: Notice `$MDW_BUILDENV' and add it to...
2018-07-20 Mark Woodingdot/shell-rc: Run `make' nicely by default.
2018-05-11 Mark Woodingdot/shell-rc: Add a hook for shell-specific `PS2' custo...
2018-05-11 Mark Woodingdot/shell-rc: Don't expand `TERM' or `INSIDE_EMACS...
2018-03-23 Mark Woodingdot/shell-rc: Only deploy the trivial prompt if not...
2017-11-16 Mark Woodingdot/shell-rc: If terminal is `dumb' then use vanilla...
2017-09-20 Mark Woodingdot/shell-rc: Only run tmpdir(1) if we actually found it.
2017-09-20 Mark Woodingdot/shell-rc: Fix missing `;;' in `case'.
2017-09-20 Mark Woodingdot/shell-rc: Throw `~/bin/' into the PATH if it's...
2017-09-20 Mark Woodingdot/shell-rc: Sink finding temporary directory.
2017-08-08 Mark Woodingdot/shell-rc: Get user name from id(1) if it's not...
2017-08-08 Mark Woodingdot/bashrc, dot/shell-rc: Set TMPDIR as common per...
2017-08-05 Mark Woodingdot/*: Major shake-up of shell configuration.