add BASH_IT_AUTOMATIC_RELOAD_AFTER_CONFIG_CHANGE option
This commit is contained in:
@@ -243,7 +243,9 @@ _disable-thing ()
|
||||
rm $BASH_IT/$subdirectory/enabled/$(basename $plugin)
|
||||
fi
|
||||
|
||||
exec ${0/-/}
|
||||
if [ -n "$BASH_IT_AUTOMATIC_RELOAD_AFTER_CONFIG_CHANGE" ]; then
|
||||
exec ${0/-/}
|
||||
fi
|
||||
|
||||
printf '%s\n' "$file_entity disabled."
|
||||
}
|
||||
@@ -323,7 +325,9 @@ _enable-thing ()
|
||||
ln -s ../available/$plugin $BASH_IT/$subdirectory/enabled/$plugin
|
||||
fi
|
||||
|
||||
exec ${0/-/}
|
||||
if [ -n "$BASH_IT_AUTOMATIC_RELOAD_AFTER_CONFIG_CHANGE" ]; then
|
||||
exec ${0/-/}
|
||||
fi
|
||||
|
||||
printf '%s\n' "$file_entity enabled."
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user