From cdf60d058d0eafad85235f8dff965708d989f43c Mon Sep 17 00:00:00 2001
From: Vincent Le Gallic <legallic@enst.fr>
Date: Thu, 3 Aug 2017 18:37:22 +0200
Subject: [PATCH] .profile public

---
 .profile | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 .profile

diff --git a/.profile b/.profile
new file mode 100644
index 0000000..674cd32
--- /dev/null
+++ b/.profile
@@ -0,0 +1,24 @@
+# .bashrc générique mis à votre disposition
+# par les gentils membres actifs du Cr@ns
+# Vous pouvez l'utiliser, le redistribuer, le modifier à votre convenance.
+# Des questions, des suggestions : {nounou,ca}@lists.crans.org
+# Licence : WTFPL
+
+# Les sections commentées par #~# sont des features qui ne sont pas activées
+# par défaut. Sentez-vous libre de les décommenter pour les utiliser.
+
+#------------------------------------------------------------------------------
+
+# Si le shell est bash, lire le fichier de configuration (s'il existe)
+if [ -n "$BASH_VERSION" ]; then
+    # include .bashrc if it exists
+    if [ -f "$HOME/.bashrc" ]; then
+	. "$HOME/.bashrc"
+    fi
+fi
+
+# Si on a un dossier ~/bin, l'ajouter à la liste des dossiers
+# dans lesquels le shell cherche les commandes
+if [ -d "$HOME/bin" ] ; then
+    PATH="$HOME/bin:$PATH"
+fi
-- 
GitLab