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

default-config: Don't close terminal if manpage not found. #1071

Merged
merged 1 commit into from
Oct 17, 2024

Conversation

somiaj
Copy link
Collaborator

@somiaj somiaj commented Oct 16, 2024

Only show the "Help" menu if the manual pages are installed. This is done by testing for the fvwm3all manual page, and the item entry to popup the "Help" menu is only added to the root menu if the fvwm3all manual page exists.

@somiaj somiaj force-pushed the js/hide-man-menu branch 5 times, most recently from b9a97d1 to 56f3614 Compare October 17, 2024 16:08
@somiaj
Copy link
Collaborator Author

somiaj commented Oct 17, 2024

Updated the approach here. Instead of testing for the manual page, if opening them fails, keep the terminal open using read tmp which is POSIX. This will keep the shell open until a user hits enter or closes the terminal. Also print a message about documentation can be found at fvwm.org.

@somiaj somiaj changed the title Test for manulpages in default-config. default-config: Don't close terminal if manpage not found. Oct 17, 2024
default-config/config Outdated Show resolved Hide resolved
When viewing a manual page using the "Help" menu in the
default-config, if the manual page is not found, don't close
the terminal, instead use the 'read' command to wait for user
input. This will require the user to hit 'Enter' or close the
terminal manually.

This ensures that if the manual pages are not installed the
user gets a message from man saying that the manual page cannot
be found vs just flashing a terminal.

Update fvwm3.pot file since a new translation string was added.
@ThomasAdam ThomasAdam added the area:doc Relates to documentation only label Oct 17, 2024
@ThomasAdam ThomasAdam added this to the 1.1.1 milestone Oct 17, 2024
@ThomasAdam ThomasAdam merged commit d773226 into main Oct 17, 2024
5 checks passed
@ThomasAdam ThomasAdam deleted the js/hide-man-menu branch October 17, 2024 20:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area:doc Relates to documentation only
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants