diff --git a/doc/man1/lisa.1 b/doc/man1/lisa.1 index 5caab04bfbf815d4254fe727b68b9f9d09b7c15d..85bdb8b54db285b6f5d4b2ae4354396c052ed399 100644 --- a/doc/man1/lisa.1 +++ b/doc/man1/lisa.1 @@ -208,8 +208,8 @@ _ T{ LISA_HOST_ABI T} T{ -Add some shell utilities to the PATH, with lower priority than -system\(aqs one in case the user needs a different version of them +Add some shell utilities to the PATH based on the host ABI. Priority +is determined by LISA_USE_SYSTEM_BIN T} T{ x86_64 T} diff --git a/shell/lisa_shell b/shell/lisa_shell index e92b33a52619bb54873143bbacdfb331f085a089..425f6fa4af07da21be6bf9745a36fada6b01e3d0 100755 --- a/shell/lisa_shell +++ b/shell/lisa_shell @@ -42,8 +42,7 @@ export LISA_PRESERVE_SHELL=${LISA_PRESERVE_SHELL:-0} # Setup colors source "$LISA_HOME/shell/lisa_colors" -export _DOC_LISA_HOST_ABI="Add some shell utilities to the PATH, with lower -priority than system's one in case the user needs a different version of them" +export _DOC_LISA_HOST_ABI="Add some shell utilities to the PATH based on the host ABI. Priority is determined by LISA_USE_SYSTEM_BIN" export LISA_HOST_ABI=${LISA_HOST_ABI:-x86_64} export _DOC_LISA_USE_SYSTEM_BIN="Use the system binaries if 1, will use the ones shipped with LISA if 0"