Settings and Preferences for transfer between machines
Find a file
2017-10-20 14:51:54 +01:00
.circleci Lint 2017-10-08 18:52:37 +01:00
extras
manifests Remember to name files correctly 2017-10-20 09:23:56 +01:00
modules Do gaps as mode 2017-10-20 14:51:54 +01:00
.gitignore
.gitmodules Remove buggy git submodule 2017-10-17 09:41:56 +01:00
.puppet-lint.rc Lint 2017-10-08 18:52:37 +01:00
deploy.sh Do main stuff after package install 2017-10-20 08:30:43 +01:00
makepkg.patch
README.md

dotfiles

Settings and Preferences for transfer between machines

Usage

  1. run make
  2. ???
  3. Profit!

Extra hotfixes

Some things don't need to be installed everywhere, So they're in seperate scripts listed here, or under extras.

gnome/sound-fix.sh

Disables the sound when you change the volume, and set's the increment to 1. Much nicer if i'm using a volume wheel!