Skip to content

fishilico/home-files

Repository files navigation

home-files

Files shared in all my home directories.

This project groups together the files which make life easier when using a Linux-based system (desktop workstation, laptop, server, virtual machine...). It contains the configuration settings of the software I use (shell, editors, terminals...) and some scripts which are swiftly accessible from the command line.

Directories

  • bin/: scripts which can make some tasks faster by being present in the $PATH. These scripts are installed as symlinks in $HOME/bin.
  • dotfiles/: configuration files which are prefixed by a dot in $HOME (to hide them in usual directory listings). This includes settings for shells (bash, zsh...), git, vim, urxvt, python, etc.
  • specific/: configuration files which are really specific to some of my systems (for example there is a VLC addon to read YouTube playlists).
  • tests/: scripts which check the style of the files (PEP8-compliance of Python scripts, copyright information, etc.).
  • xdgconfig/: settings for Desktop Environments which do not use plain old text files. These DE usually build a database and an provide an API which makes saving & restoring settings way harder than it has to be. Nonetheless parts of such a task can be automated.

Some commands

  • Install binary files in $HOME/bin and hidden files (in dotfiles) in $HOME, after validating the GnuPG signatures in the last git commits:

    ./install.sh
    
  • Update the repository in a way more secure than git pull, by verifying the GPG signature of incoming commits:

    ./update.sh
    
  • Update MIME database after installation on a desktop system:

    cd ~/.local/share && update-mime-database mime
    
  • Run various tests:

    ./run_tests
    

Circle-CI status

https://circleci.com/gh/fishilico/home-files.png?style=shield

About

Files shared in all my home directories

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published