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

themes/powerline: Set terminal title #161

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

mengruxing
Copy link

No description provided.

@akinomyoga
Copy link
Contributor

The PR title says that it tries to fix an error, but I don't see how this PR fixes an error. Could you describe what has been the error, and how the error is fixed in this PR? Also, this PR seems to change the style as well, which is unrelated to the purpose of the PR.

@akinomyoga
Copy link
Contributor

@mengruxing Thank you for updating the PR. I would like to confirm that you intentionally updated the branch master for this PR. Or have you just updated the master branch unrelatedly to the PR for your own uses? If it is the former, could you resolve the conflicts? If it is the latter, please let us know.

@akinomyoga
Copy link
Contributor

I again looked at this PR. As far as I check the commit history, I think the original patch was 7f4c2f3.

diff --git a/themes/brainy/brainy.theme.sh b/themes/brainy/brainy.theme.sh
index 90c747f..e442ea7 100644
--- a/themes/brainy/brainy.theme.sh
+++ b/themes/brainy/brainy.theme.sh
@@ -289,7 +289,7 @@ function __brainy_ps2 {
 function _omb_theme_PROMPT_COMMAND {
     exitcode="$?"

-    PS1="$(__brainy_ps1)"
+    PS1="\[\e]0;\u@\h: \w\a\]$(__brainy_ps1)"
     PS2="$(__brainy_ps2)"
 }

Since this PR was made based on the master branch, I guess the PR author has forgotten that they opened this PR based on master and later pushed their personal changes to the master branch.

On the other hand, a similar feature is available with the xterm plugin. I think we could leave this PR as a customization example, but the problem is that the branch of this PR master is already used by the author's personal settings. We wouldn't like to rewrite the author's personal setting.

I'd add the Customization Example label to this PR, but the other users should look at the diff in this reply for the original customization.

@akinomyoga akinomyoga changed the title fix terminal title can not update error themes/powerline: Set terminal title Apr 9, 2023
@akinomyoga
Copy link
Contributor

rebased.

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

Successfully merging this pull request may close these issues.

None yet

2 participants