Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
activate.csh handle newlines & don't use basename #1200
For example, this
I modified the script to detect the presence of newlines and avoid changing the prompt at all in those cases.
The correct thing to do would probably be to add '[...]' to the beginning of the last line of the prompt, but I don't know of any easy way to accomplish that with csh. I briefly looked into
Also, I replaced added
changed the title from
activate.csh handle newlines -- don't use basename
activate.csh handle newlines & don't use basename
Aug 31, 2018
@gaborbernat The allow edits box on the sidebar is checked and I believe it was checked originally. I’m not sure why you’re having trouble editing the PR. What are you seeing when you try to edit it?
If you’d prefer, I can make the changes you suggest as a workaround.
I'm not sure what's going on.
I unchecked the
If you cannot push, are you able to edit the PR through the website?
If neither thing works, I'll be happy to make changes if you post a patch file as a comment or something similar.
I think I know what's happening. Your banner says