chiark / gitweb /
~mdw / profile / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3eb6fe) | patch
dot/profile, dot/shell-rc: Move colour settings into profile.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 12 May 2024 23:36:50 +0000 (00:36 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 12 May 2024 23:36:50 +0000 (00:36 +0100)
commit8af9950cf8f948b36f023585242ac2e4f58107ac
tree27aeffd890cdd1ef863bc25a4b4f9cbfdc4e2bfdtree | snapshot
parente3eb6fe078f51ebfe3a6da92d80cd8953a3e915fcommit | diff
dot/profile, dot/shell-rc: Move colour settings into profile.

Now the actual colour definitions are set in the profile, and the
decision to apply them is in the shell `rc' file.
dot/profile diff | blob | blame | history
dot/shell-rc diff | blob | blame | history
Dotfiles and other configuration.