# .profile will source propre profile file according to OS # https://git.101010.fr/gardouille-dotfiles/home_public if [ -f /etc/debian_version ]; then source .profile.debian elif [ -f /etc/arch-release ]; then source .profile.archlinux fi