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

fix(terminal): resolve terminal symlink once #34

Merged
merged 1 commit into from
Oct 7, 2021

Conversation

oknozor
Copy link
Contributor

@oknozor oknozor commented Oct 6, 2021

closes #33

return (found, "-e");
}
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should be this instead:

return (read_link(&found).unwrap_or(found), "-e");

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just updated, but I don't understand why we need to attempt resolving the symlink twice here ?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That's just how Debian systems have this symlink configured, because of their use of /etc/alternatives. /usr/bin/x-terminal-emulator is a symlink to /etc/alternatives/x-terminal-emulator, which is a symlink to whichever binary was designated as the alternative option for that.

@mmstick mmstick requested a review from a team October 6, 2021 14:56
Copy link
Member

@jacobgkau jacobgkau left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

GNOME Terminal still launches with the default /usr/bin/x-terminal-emulator -> /etc/alternatives/x-terminal-emulator -> /usr/bin/gnome-terminal.wrapper symlinks in place. Changing either /usr/bin/x-terminal-emulator to point directly to a different terminal, or /etc/alternatives/x-terminal-emulator to point to a different terminal, both work. Tested on Pop!_OS 21.04 and 20.04, with all three prefixes for this plugin.

@mmstick mmstick merged commit 6cdf298 into pop-os:master Oct 7, 2021
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

Successfully merging this pull request may close these issues.

Setting an alternate terminal for plugin does not work
3 participants