Fix linting errors

Signed-off-by: Severin Kaderli <severin.kaderli@gmail.com>

system/.bash_profile

@@ -2,20 +2,20 @@
 #
 # Author: Severin Kaderli <severin.kaderli@gmail.com>
 # We just source .bashrc so we don't need to manage two files.
-if [[ -f $HOME/.bashrc ]]; then
-    . $HOME/.bashrc
+if [[ -f "${HOME}/.bashrc" ]]; then
+    . "${HOME}/.bashrc"
 fi
 
 # Setting keyboard colors
-if [[ -f $HOME/.keyleds ]]; then
-    . $HOME/.keyleds
+if [[ -f "${HOME}/.keyleds" ]]; then
+    . "${HOME}/.keyleds"
 fi
 
 # Restore custom dconf configuration
-cat "${HOME}/dconf/root.conf" | dconf load /
+dconf load / < "${HOME}/dconf/root.conf"
 
 # Activate correct crontab file
-crontab $HOME/.crontab
+crontab "${HOME}/.crontab"
 
 # If we are on tty1 we start the x-server
 if [ "$(tty)" = "/dev/tty1" ]; then