main (ble-reload): preserve the original initialization options

akinomyoga · Aug 24, 2022 · 8912d81 · 8912d81
1 parent a1adc7f
commit 8912d81
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ble.pp b/ble.pp
@@ -700,7 +700,7 @@ function ble/base/print-usage-for-no-argument-command {
   [[ $1 != --help ]] && return 2
   return 0
 }
-function ble-reload { source "$_ble_base/ble.sh" --attach=prompt; }
+function ble-reload { source "$_ble_base/ble.sh" --attach=prompt --rcfile="${_ble_base_rcfile:-/dev/null}"; }
 #%$ pwd=$(pwd) q=\' Q="'\''" bash -c 'echo "_ble_base_repository=$q${pwd//$q/$Q}$q"'
 function ble-update {
   if (($#)); then