Skip to content
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.

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

Change prompt to user-like prompt #99

Open
pierrepo opened this issue Apr 3, 2024 · 3 comments
Open

Change prompt to user-like prompt #99

pierrepo opened this issue Apr 3, 2024 · 3 comments

Comments

@pierrepo
Copy link

pierrepo commented Apr 3, 2024

The current prompt in the terminal is root@localhost:~/tutorial#

Would it be possible to change this prompt to a more user-like prompt?

  • replace # by $
  • change user from root to robert, alice or bob...

Changing the login user might be the ultimate solution. It will also ensure the starting directory is /home/robert/tutorial instead of /root/tutorial that is not realistic.

@pierrepo
Copy link
Author

pierrepo commented Apr 3, 2024

Also changing localhost to sandbox could be nice ;-)

@robertaboukhalil
Copy link
Member

robertaboukhalil commented Apr 5, 2024

Good idea, I wonder if it would be too slow to create custom users with useradd at runtime.
Changing localhost to sandbox is definitely doable :)

For the image issue mentioned in IFB-ElixirFr/sandboxbioscenarios#21, I would recommend updating <img> to <Image>, I just pushed this change: 3de2d96. This makes the image larger and you can click on it to zoom in on it, as you can see at https://sandbox.bio/tutorials/ifb-linux-basics-2/1.

@RandyHarr
Copy link

To change the prompt, you can always just type:
PS1="$ " # or use whatever your favorite prompt is.
Not sure about the login user setup and whether a file is retained between sessions to store a change more permanently.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants