2dd707a7ea
Some users prefer to re-source the script from time to time. Detect that and deactivate first. |
||
---|---|---|
.. | ||
envkernel.fish | ||
envkernel.sh | ||
envsetup.sh |
2dd707a7ea
Some users prefer to re-source the script from time to time. Detect that and deactivate first. |
||
---|---|---|
.. | ||
envkernel.fish | ||
envkernel.sh | ||
envsetup.sh |