infra - nix configuration for my machines

	Commit message (Collapse)	Author	Files	Lines
2023-03-31	home/sway: start sway and ssh-agent properly	Franck Cuny	1	-8/+0
	I only need to run sway and the ssh-agent on a workstation (desktop or laptop). Start these two processes when the window manager starts.
2023-03-14	home/shell: a few more tweaks to zsh	Franck Cuny	1	-0/+2

2023-03-11	home/zsh: load ssh-agent before sway	Franck Cuny	1	-1/+2
	We need to start the ssh agent (if needed) before we start sway.
2023-03-11	home/shell: switch the default shell back to zsh	Franck Cuny	1	-0/+1
	I keep running into issues when using fish: I'm not familiar with the syntax and I don't use it enough that it sticks. I also need to google stuff regularly to figure out how things are supposed to work. This is annoying enough that the supposed benefits of fish are not worth it for me.
2022-10-29	fix(home): remove various shell functions related to gerrit	Franck Cuny	1	-1/+0
	I'm not using gerrit anymore.
2022-06-20	ref(home/shell): move all shell aliases to a shared configuration	Franck Cuny	1	-5/+4
	By moving the aliases to a shared module, they can be used between zsh and fish. Change-Id: Ifcfe0af3b90825fe3a67bc1796d4cf65a58d3ff2 Reviewed-on: https://cl.fcuny.net/c/world/+/456 Reviewed-by: Franck Cuny <franck@fcuny.net> Tested-by: CI
2022-06-20	ref(home/shell): make it easier to share common things between shells	Franck Cuny	1	-6/+2
	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	1	-6/+7
	Change-Id: I820a636bcdeb6abf7ff8a25ec409c08916e94c42 Reviewed-on: https://cl.fcuny.net/c/world/+/303 Reviewed-by: Franck Cuny <franck@fcuny.net>
2022-05-29	feat(home/zsh): add helper function for gerrit	Franck Cuny	1	-1/+1
	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	1	-1/+13
	If login, start sway. If tmux is not running, start it.
2022-05-15	zsh: some cleanup	Franck Cuny	1	-3/+5

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