Kierán Meinhardt
6945c1b1b9
Move SSH config to network
2019-01-14 15:20:31 +01:00
Kierán Meinhardt
5fa78e451f
add Terminal.app theme
2019-01-02 02:20:32 +01:00
Kierán Meinhardt
e214fb4316
htoprc
2019-01-02 00:13:10 +01:00
Kierán Meinhardt
e73e72dfd5
Scripts
2019-01-02 00:10:38 +01:00
Kierán Meinhardt
5882aed063
Fix typo in i3 dot
2018-12-30 21:15:33 +01:00
Kierán Meinhardt
d4af2f2eee
35c3
...
+ scripts as derivations
~ move home-mananger stuff to the right modules / dot
+ home-manager ssh config
- vim: powerline symbols
~ toggle keyboard with alt+shift
+ ssh agent at startup
~ retiolum ipv6
~ texlive packages
~ shell: vim mode
+ THEMING
~ i3 minimaler + q
~ terminal: use urxvt
2018-12-30 14:34:39 +01:00
Kierán Meinhardt
d550fceeab
+ typora libertine
2018-12-18 23:40:58 +01:00
Kierán Meinhardt
d72e037039
Use nix-writers from nixpkgs
2018-12-04 21:07:13 +01:00
Kierán Meinhardt
1aba50b398
Small changes
...
+ sudo: password feedback
~ xresources: syntax
2018-12-02 14:17:04 +01:00
Kierán Meinhardt
74f2131f55
Make terminal xterm again
2018-11-15 21:09:43 +01:00
Kierán Meinhardt
93c497961a
VPN
...
~ move ghci dotfile
+ vim: black as python formatter
+ openvpn
+ wpa_supplicant_gui
+ dot2tex
+ graphviz
+ hlint
~ nix-shell: use zsh
~ zsh: show whether in nix-shell
~ ghci: hoogle with haddock links
~ ssh: login with hu id (no passphrase)
~ terminal: Source Code Pro
2018-10-31 00:48:32 +01:00
Kierán Meinhardt
82a98fb072
SSH config
...
+ github, gitlab, happysrv
2018-10-19 21:38:43 +02:00
Kierán Meinhardt
e2ee80e2bb
+ generate-shell-nix
2018-10-10 13:03:22 +02:00
Kierán Meinhardt
61669bdf2d
Misc
...
- sudo: insults
~ terminal: cursor ibeam
2018-10-06 10:39:34 +02:00
Kierán Meinhardt
af92980f62
SSH
...
+ forward X11
+ ssh config
+ agent timeout
2018-10-06 10:39:04 +02:00
Kierán Meinhardt
2de1088a89
Installed. More configuration
...
~ move options out
~ redshift: switch to geoclue2
~ wifi: add c-base
+ rofi: add active and urgent colours
~ vim: wildmode made more sensible
~ i3blocks: fix battery script
- i3blocks: brightness indicator
+ i3: rofi window switcher
~ use illum for backlight
+ use unclutter
+ tor-browser-bundle-bin
+ xfce.tumbler
+ xorg.{xbacklight,xcursorthemes,xkill}
+ texlive-full
+ cabal{-install,2nix}
+ idris
~ bash: fix prompt
+ helpers file
2018-09-19 16:46:12 +02:00
kmein
69b718cc93
Surprisingly: configure more
...
~ factor out into ./configs/
+ timezone, sound
~ wpa_supplicant hashed passwords
+ kdeconnect
~ writeBash -> writeDash
2018-09-17 16:51:00 +02:00
kmein
4ecbcf1b66
Configure more. Ready to install?
...
~ GTK theme to Numix-SX-Dark
~ browser to chromium
+ universal screen locker
+ sudo insults
~ vim w/o homemanager
+ former ~/bin scripts as aliases
+ tty colorscheme
+ cron
- unneeded ohmyzsh plugins
~ prompt color if $? == 0
+ programs.* config
+ networking
~ xbacklight to light
~ rewrite fancy-date in C
+ nanorc
2018-09-13 22:48:38 +02:00
kmein
456e8d5027
Configure some more
...
~ Use nix-writers
~ Split packages between system and user
+ Add screen locking
+ Log in automatically
+ Add redshift
+ Add dunst
~ Use X11 for the wallpaper
~ Fix vim config
2018-09-12 00:04:55 +02:00
kmein
9bd7eb2bcb
Configure like hell
2018-09-11 18:16:33 +02:00
