Commit Graph

23 Commits

Author SHA1 Message Date
9038f3ea54
home/git: add rebase-author alias 2023-10-06 17:14:02 +02:00
f85724dea0
home/shell: split alias tree functionality into module and config 2023-07-29 12:49:17 +02:00
dec150ae98
gpg agent: systemwide -> homemanager 2023-07-28 22:23:43 +02:00
4456244f2d
modules: add modules for socket activation 2023-07-28 21:32:13 +02:00
e0250a1572
home/atuin: set up sync 2023-07-12 02:04:56 +02:00
a25ef4ada9
home/git: add switch-interactive alias 2023-05-08 02:51:15 +02:00
e185f0780c
home/vscode: remove lots of unused extensions and config 2023-05-08 02:47:43 +02:00
78939bbb55
home/zsh: partially disable slow compinit 2023-05-08 02:36:11 +02:00
10997b802c
home/git: add authors alias 2023-05-08 01:49:29 +02:00
d33e310e7d
home: add atuin 2023-05-08 01:48:38 +02:00
32484e90c4
firefox: add search engines from secrets 2023-02-26 19:14:34 +01:00
3d08b0f4a1
xmonad: small changes 2023-02-25 17:58:15 +01:00
8b1df87747
firefox: set up bookmarks 2023-02-25 17:56:00 +01:00
b854b66c08
git: misc changes
- add some better push default configs
- remove a bunch of unused aliases
- remove `precomposeunicode = false` noop
- add `forcepush` alias
2023-02-25 17:55:35 +01:00
0476483e11
vscode: misc
- use native vscode
  - install remotetools
2022-11-19 16:15:19 +01:00
9bc5d2e85d
home: several changes
- add TEXMFHOME variable
- Include mutable_config to ssh config
- add package `kondo`
- mpd uses xdg music userdir
2022-11-11 21:23:25 +01:00
752b37f441
xmonad: update location and some config 2022-11-11 21:19:16 +01:00
01519d9e61
Fixed zsh plugin setup 2022-10-13 23:43:58 +02:00
011b20e05e
Move zsh config to XDG data dir 2022-08-19 12:55:47 +02:00
47794d1ea4
Move less history to XDG data dir 2022-08-19 12:54:32 +02:00
0fc1d15c35
Several changes to Xmonad/Xmobar:
- Change from xmobar to polybar
- Rename workspaces
- Add some new scratchpads
- Change xmonad.org to xmonad.hs
2022-08-19 03:49:21 +02:00
2b58db1345
update github username 2022-08-19 02:54:22 +02:00
8f68ada082
Move home-manager related files into home directory 2022-08-19 01:54:13 +02:00