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

install.sh --remove #822

Merged
merged 2 commits into from
Sep 14, 2022
Merged

install.sh --remove #822

merged 2 commits into from
Sep 14, 2022

Conversation

Finii
Copy link
Collaborator

@Finii Finii commented Apr 22, 2022

Description

This is about the install.sh script

  • Remove defunct options to install non-Complete font variants
  • Add option to remove all installed fonts (installed by this script)

Requirements / Checklist

What does this Pull Request (PR) do?

Add uninstall possibility to install script.

How should this be manually tested?

One can specify --remove -L for a dry run to see the commands that would be executed.

Any background context you can provide?

What are the relevant tickets (if any)?

#407

Screenshots (if appropriate or helpful)

install.sh Outdated Show resolved Hide resolved
@Finii
Copy link
Collaborator Author

Finii commented Apr 22, 2022

Removed debug-output; force push.

@Finii Finii added this to the v2.3.0 milestone Aug 22, 2022
[why]
We have only 'Complete' in the repo anymore, so it does not make sense
to provide commands to select un-complete patched fonts.

[how]
Leave stub/comment in so that - if there ever is a need to resurrect the
feature - one can find this commit and the deleted code.

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
[why]
Maybe people would like to uninstall the fonts installed with the
script.

In fact the uninstall could already be acieved by giving the --clean
option and installing no new font. Well, apart from the fact that the
scripts prevents runs with no installed font. And then the user must
specify the same installpath that has been used for the install, which
is a bit tedious.

[how]
Add new command '--remove' (with no short option).
Make -L / --list option a dry-run option for --remove.
Uninstall both possible installpaths.

Fixes: #407

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
@Finii Finii merged commit a07648b into master Sep 14, 2022
@Finii Finii deleted the feature/install-remove branch September 14, 2022 10:33
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.

1 participant