From 1facc5d6985d417fda589962485a60e3e69decf1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=96=9F=E9=85=8C=20=E9=B5=AC=E5=85=84?= Date: Fri, 12 Aug 2022 00:03:25 +0800 Subject: [PATCH] Need to remove sources dir --- bash/bashrc/rbashrc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bash/bashrc/rbashrc b/bash/bashrc/rbashrc index 393808b..1b04be6 100644 --- a/bash/bashrc/rbashrc +++ b/bash/bashrc/rbashrc @@ -243,7 +243,7 @@ function r2ensource { echo "Enabling $_id" done sort $_tmp > "$RBASH_CONFIG" - rm $_tmp "$RBASH_MERGED" + rm -r "$_tmp" "$RBASH_SOURCES" } function r2dissource { @@ -270,7 +270,7 @@ function r2dissource { _dis=$( mktemp ) sh -c "grep -v $_opts \"$RBASH_CONFIG\"" > $_dis sort $_dis > $RBASH_CONFIG - rm $_dis "$RBASH_MERGED" + rm -r "$_dis" "$RBASH_SOURCES" } export PS1='This is \e[1;3m\e[0m: \w\n\$ '