diff --git a/profile b/profile new file mode 100644 index 0000000..905d384 --- /dev/null +++ b/profile @@ -0,0 +1,6 @@ +# .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 +fi