1 files changed, 10 insertions, 0 deletions
diff --git a/profile/profile b/profile/profile
index 121615f..a531e8e 100644
--- a/profile/profile
+++ b/profile/profile

@@ -18,3 +18,13 @@ if [ -d "$XDG_CONFIG_HOME/profile" ]; then
                [ -r "$file" ] && . "$file"
        done
 fi
+# refresh profile
+reprofile() {
+    printf "Loading ~/.profile..." >&2
+    if . "$HOME/.profile"; then
+        echo "OK." >&2
+    else
+        echo "ERROR!" >&2
+    fi
+}

diff --git a/profile/profile b/profile/profile index 121615f..a531e8e 100644 --- a/profile/profile +++ b/profile/profile
@@ -18,3 +18,13 @@ if [ -d "$XDG_CONFIG_HOME/profile" ]; then
18	[ -r "$file" ] && . "$file"	18	[ -r "$file" ] && . "$file"
19	done	19	done
20	fi	20	fi
		21
		22	# refresh profile
		23	reprofile() {
		24	printf "Loading ~/.profile..." >&2
		25	if . "$HOME/.profile"; then
		26	echo "OK." >&2
		27	else
		28	echo "ERROR!" >&2
		29	fi
		30	}