| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | bluetooh: enable on aptos | Franck Cuny | 2022-05-16 | 1 | -0/+1 |
| | | |||||
| * | zsh: switch to zsh as the default shell | Franck Cuny | 2022-05-15 | 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. | ||||
| * | small fixes | Franck Cuny | 2022-04-09 | 1 | -1/+1 |
| | | |||||
| * | add a few more modules to home/ and delete stuff | Franck Cuny | 2022-04-09 | 1 | -0/+1 |
| | | |||||
| * | aptos: consume the new profiles | Franck Cuny | 2022-04-08 | 1 | -0/+12 |
| aptos is now using the new home-manager setup. | |||||
 |
index : world.git | |
| nix configuration for my machines | Gitolite user |
| about summary refs log tree commit diff |