From 6b93c543d84a59271001857126b31466193e192e Mon Sep 17 00:00:00 2001
From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Mon, 27 Jul 2015 10:04:07 +0100
Subject: [PATCH] shell_slogin

---
 etc/bashrc.function | 1 +
 1 file changed, 1 insertion(+)

diff --git a/etc/bashrc.function b/etc/bashrc.function
index 475446f0..b0ec6b54 100644
--- a/etc/bashrc.function
+++ b/etc/bashrc.function
@@ -52,6 +52,7 @@ shell_slogin() {
     alias
     type $(shell_functions) | grep -v 'is a function$'
     cat $NB_ROOT/etc/bashrc
+    echo "[ -r /etc/profile ] && . /etc/profile"
   ) | ssh "$server" "cat > $tmp || rm -vf $tmp" || return
 
   declare args
-- 
2.47.3