penguin/utils
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Need to remove sources dir

Browse Source
This commit is contained in:
斟酌 鵬兄 2022-08-12 00:03:25 +08:00
parent f271e1fb55
commit 1facc5d698
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
bash/bashrc/rbashrc
View File

@ -243,7 +243,7 @@ function r2ensource {
echo "Enabling $_id" echo "Enabling $_id"
done done
sort $_tmp > "$RBASH_CONFIG" sort $_tmp > "$RBASH_CONFIG"
rm $_tmp "$RBASH_MERGED" rm -r "$_tmp" "$RBASH_SOURCES"
} }
function r2dissource { function r2dissource {
@ -270,7 +270,7 @@ function r2dissource {
_dis=$( mktemp ) _dis=$( mktemp )
sh -c "grep -v $_opts \"$RBASH_CONFIG\"" > $_dis sh -c "grep -v $_opts \"$RBASH_CONFIG\"" > $_dis
sort $_dis > $RBASH_CONFIG sort $_dis > $RBASH_CONFIG
rm $_dis "$RBASH_MERGED" rm -r "$_dis" "$RBASH_SOURCES"
} }
export PS1='This is <MACHINE_NAME>\e[1;3<COLOR_CODE>m<MACHINE_COLORED_NAME>\e[0m: \w\n\$ ' export PS1='This is <MACHINE_NAME>\e[1;3<COLOR_CODE>m<MACHINE_COLORED_NAME>\e[0m: \w\n\$ '