-
Notifications
You must be signed in to change notification settings - Fork 323
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
Display current git branch in the terminal prompt (PS1) #447
Display current git branch in the terminal prompt (PS1) #447
Conversation
@jankeromnes, please take a look. |
Super-cool! Many thanks @Shulammite-Aso for taking on & fixing this issue 💯 x 🙏 Also, sorry for the delay in reviewing this! I'll take a look now, and I'll also make CircleCI build your PR so that we get images we can test on actual repositories. 😊 |
Alrigth @jankeromnes, can't wait! 😃 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks again for this great work @Shulammite-Aso 😁
I believe it's almost perfect as is, but noticed a very small issue, that basically just requires adding a few \
to the correct places.
Please simply add the missing \
where expected (see the code suggestion below), and then I'll trigger a new CircleCI build and we'll be able to test the updated fix in Gitpod.
I've also added some more thoughts & details (sorry for being so verbose 😅) but feel free to skip them if you like. (Or, if you have any question / if anything seems unclear, please let me know and I'll be happy to help!)
Okay @jankeromnes. Taking a moment to read, understand, then make the necessary changes. Will let you know if I have a question. |
@jankeromnes, I get this now and trying to make the changes, but I just saw that I have reached my monthly workspace hour limit, sadly. Now I don't know if there's any other way around this? I've been playing around using the workspaces for the past weeks. It almost slipped my mind that I'm on a very limited plan. 🤦♀️ |
Oh no 🙈 sorry for the disappointing "surprise" there! Given that you're contributing to Gitpod, I've just granted you 20 bonus hours, so that you can still use Gitpod when your "regular" monthly hours run out. (Please let me know if this ever blocks you again!) |
commited!
Thanks for this. Will start keeping my limit in mind. |
Alright, many thanks for the fix! This now looks perfect. ✨ I've also made CircleCI build this Pull Request, which resulted in the Docker image Updates:
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Alright, this works like a charm! 🎉 🎆 Thus I'm approving this Pull Request, and it can be merged soon.
Thanks again for implementing this!
I've just noticed one tiny problem, but it seems completely unrelated to this code change (probably a random new bug in our code): Every new IDE Terminal now shows this error as the first line:
ls: cannot access '/home/gitpod/.bashrc.d/*': No such file or directory
I'll investigate this a bit more, to see if I can find a fix for it, but otherwise I think we should merge your PR quite soon. 😊
nice to see!! 💃 🎉 🎉 |
Thanks for letting me contribute @jankeromnes!! 😁 😁 |
Ah, I think I understand the problem now -- to test this Pull Request, I've used the workspace-images/base/Dockerfile Line 54 in d57c5f4
In other words, this bug existed before, and has indeed nothing to do with this Pull Request -- so I'll merge this now, and fix the bug in a separate Pull Request. 😁 🙌
You're quite welcome! 😁 And all the thanks go to you, for doing all the work 🙏 |
🎉🎉🎉 @jankeromnes I'm also willing to make another contribution! I know I should probably not take up another |
Hey @jankeromnes, is this deployed alongside Gitpod when we update production? I'm not sure if I'm supposed to move this to "Done" in the groundwork project 🤔 |
Friendly ping for the question above /\ |
Fixes gitpod-io/gitpod#3284