-
Notifications
You must be signed in to change notification settings - Fork 69
lorri shell
tracking issue
#297
Comments
I like that we can have a |
We've already established that this requires per-shell handling, because shells take different approaches to the configuration of the prompt line. What I've found now is that even for bash and zsh, it's not going to be as easy setting "PS1" using
I can't think of any other way that makes sure the PS1 is set by lorri while also respecting the user's setup (except for PS1, of course) - and even then it is possible to break this: NixOS/nix#1268 (comment). Relevant flags: bash: |
lorri shell
which does an immediate, blocking evaluation, pins the GC root, and executes the user's$SHELL
in the lorri-generated environment lorri shell #295lorri shell
fails, suggest to the user that they re-run with-v
to get error output. Not great, but quick win until we get to Show Nix failure logs to user #296.lorri shell
with no evaluation or build with--cached
. Iflorri shell
fails (or takes a "long time"), suggest this option automatically. If the user runs with--cached
without a cached evaluation, it should exit non-zero.Spawn the user's shell like this:
This way we can do per-
$SHELL
switching, and have safe execution in the shell environment without having to pass a deeply quoted string of things for our middle level bash to run. Make sure to usestd::env::current_exe
for the path to lorri.The text was updated successfully, but these errors were encountered: