New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

If SHELL is not set, fall back to /bin/sh so CHAT("SHELL") should work. #424

Merged

nbriggs merged 1 commit into master from fix-no-SHELL-in-environment

May 28, 2022

Collaborator

nbriggs commented May 28, 2022

Shell of last resort is /bin/sh, assuming it's in /etc/shells, CHAT("SHELL") should work.

Closes Interlisp/medley#782


          If SHELL is not set, fall back to /bin/sh so CHAT(SHELL) might work.

774aa7c

nbriggs merged commit 60af445 into master

masinter mentioned this pull request

Opening a shell in Interlisp which runs in a container Interlisp/medley#765

Closed

nbriggs deleted the fix-no-SHELL-in-environment branch

July 26, 2022 21:34

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet