diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2023-01-08 15:23:11 +0100 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2023-01-08 15:23:11 +0100 |
| commit | acebff1768978dc0e586defae3c524ef6c9f1c3f (patch) | |
| tree | ab187ea4bb596200dea715366878153417a4c378 /.bash_prompt | |
| parent | bd47e056142a51b3186c69e9eae1d8565226dda3 (diff) | |
| download | dotfiles-acebff1768978dc0e586defae3c524ef6c9f1c3f.tar.xz | |
Rearrange face list
The rules I'm trying to adhere to:
1. theme faces, then standard faces, then third-parties;
2. if keeping a group of faces together makes maintenance easier,
define a "subgroup" and sort it at the end;
3. keep things sorted lexicographically, unless another order makes
sense (e.g. section hierarchy) and it's too much of a hassle to add
groups of comments.
Diffstat (limited to '.bash_prompt')
0 files changed, 0 insertions, 0 deletions
