From 7ed2490ac28d8b45e9e2f36f5c62147f1ecf0c32 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Xavier=20Logerais=20=28Numericable=20-=20Ing=C3=A9nierie?= =?UTF-8?q?=20Syst=C3=A8me=29?= Date: Thu, 5 Dec 2013 13:39:37 +0100 Subject: [PATCH] Removed RVM stuff from profile.d --- profile.d/rvm | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 profile.d/rvm diff --git a/profile.d/rvm b/profile.d/rvm deleted file mode 100644 index 40cb341..0000000 --- a/profile.d/rvm +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash - -# Load RVM into a shell session *as a function* -[[ -s "$HOME/.rvm/scripts/rvm" ]] && source "$HOME/.rvm/scripts/rvm" - -# Add RVM to PATH for scripting -PATH=$PATH:$HOME/.rvm/bin - -# Source bash completion for RVM -[[ -r "$HOME/.rvm/scripts/completion" ]] && source "$HOME/.rvm/scripts/completion"