| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2022-05-16 | bluetooh: enable on aptos | Franck Cuny | 1 | -0/+1 | |
| 2022-05-15 | zsh: switch to zsh as the default shell | Franck Cuny | 1 | -1/+1 | |
| `zsh' is available everywhere and is compatible with bash. When using `fish' I need to remember how to do things. While the completion style is nicer, I don't care about the rest. I prefer to have a consistent experience in the shell, no matter where am I. This is an initial configuration, I might need to make a few changes as I go. | |||||
| 2022-04-09 | small fixes | Franck Cuny | 1 | -1/+1 | |
| 2022-04-09 | add a few more modules to home/ and delete stuff | Franck Cuny | 1 | -0/+1 | |
| 2022-04-08 | aptos: consume the new profiles | Franck Cuny | 1 | -0/+12 | |
| aptos is now using the new home-manager setup. | |||||
 |
index : infra | |
| nix configuration for my machines | Gitolite user |
| aboutsummaryrefslogtreecommitdiff |