commit 34785e016a5820f135452fbe69e90db9447661bb
parent 92d40facc4ca08b60f759f62c74779bb8b670ec6
Author: rsiddharth <s@ricketyspace.net>
Date: Sun, 7 Jan 2018 04:57:15 +0000
.bin/get-crux-etc: Update CRUT_ETC_DIR.
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.bin/get-crux-etc b/.bin/get-crux-etc
@@ -16,7 +16,7 @@
# along with this program. If not, see
# <http://www.gnu.org/licenses/>.
-CRUX_ETC_DIR=$HOME/v/git/rsd/crux-etc
+CRUX_ETC_DIR=$HOME/v/cygnus.ricketyspace.net/crux-etc
cd $CRUX_ETC_DIR
git status
git pull origin