Minor fixes and improvements #1
Loading…
Reference in New Issue
No description provided.
Delete Branch "karx/pclish:main"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This PR marks shell.py as executable. It also fixes the shebang so that the shell can use the right interpreter. Also, I made the prompt show the system hostname instead of just
localhost
.