From 8c9f9883733cb0a8a0f3de68db009285d39e6f56 Mon Sep 17 00:00:00 2001 From: Carl Kittelberger Date: Wed, 9 Oct 2019 14:43:33 +0200 Subject: [PATCH] Add replacement script in home/bin. --- home/bin/update-profile | 3 +++ 1 file changed, 3 insertions(+) create mode 100755 home/bin/update-profile diff --git a/home/bin/update-profile b/home/bin/update-profile new file mode 100755 index 0000000..026bdf3 --- /dev/null +++ b/home/bin/update-profile @@ -0,0 +1,3 @@ +#!/bin/sh -e +. "${HOME}/.local/bin/update-profile" +