infra - nix configuration for my machines

	Commit message (Collapse)	Author	Files	Lines
2022-06-20	ref(home/shell): make it easier to share common things between shells	Franck Cuny	7	-147/+0
	I'm considering trying again fish, and there are a number of things that should be common between zsh and fish (aliases, environment variables, ...). Instead of duplicating these settings multiple time, I'm consolidating the shell configurations under `home/shell`, and I can set the shell I want to use with `my.home.shell.name`. The first step is to move the modules for fish and zsh under `home/shell`, add an interface to pick which one I want to use, and modify the `host/home.nix` configuration to keep using zsh with the new interface. Change-Id: Idb66b1a6fcc11a6eeaf5fd2d32dd3698d2d85bdf Reviewed-on: https://cl.fcuny.net/c/world/+/455 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
2022-06-10	fix(fmt): correct formatting for all nix files	Franck Cuny	1	-1/+2
	This was done by running `nixpkgs-fmt .'. Change-Id: I4ea6c1e759bf468d08074be2111cbc7af72df295 Reviewed-on: https://cl.fcuny.net/c/world/+/404 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
2022-06-09	ref(zsh): ensure home-manager variables are set before starting sway	Franck Cuny	2	-6/+10
	Change-Id: I820a636bcdeb6abf7ff8a25ec409c08916e94c42 Reviewed-on: https://cl.fcuny.net/c/world/+/303 Reviewed-by: Franck Cuny <franck@fcuny.net>
2022-05-29	fix(home/zsh): don't start tmux when in an ssh session	Franck Cuny	1	-2/+8
	Change-Id: I4a30d787bddbe16026fd8d24378f532696256002 Reviewed-on: https://cl.fcuny.net/c/world/+/166 Reviewed-by: Franck Cuny <franck@fcuny.net>
2022-05-29	feat(home/zsh): add helper function for gerrit	Franck Cuny	2	-1/+6
	Add a function `rgerrit' to run gerrit commands on the server. Change-Id: I2beb77e7817e2be03ffbd008cf3545091a9d4c41 Reviewed-on: https://cl.fcuny.net/c/world/+/163 Reviewed-by: Franck Cuny <franck@fcuny.net>
2022-05-16	zsh: manage tmux and start sway	Franck Cuny	2	-1/+16
	If login, start sway. If tmux is not running, start it.
2022-05-15	zsh: some cleanup	Franck Cuny	3	-4/+20

2022-05-15	terminal: once again, fix the colors	Franck Cuny	1	-4/+1

2022-05-15	zsh: switch to zsh as the default shell	Franck Cuny	4	-0/+103
	`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.