Commit graph

4 commits

Author SHA1 Message Date
Tomas Antonio Lopez 0cd20c12ec protege-distribution: extend desktop file for grouping
Specifying 'categories' allows Protege to be consistently grouped
inside application launcher submenus.
2021-06-26 13:18:59 +09:00
Tomas Antonio Lopez 810f43cd15 protege-distribution: auto-generate all icon sizes for theme hicolor
Previous iteration simply copied the upstream 128x128 .ico into the
icon search path; use icoFileToHiColorTheme to produce the complete
tree, instead.
2021-06-25 01:37:09 +09:00
Tomas Antonio Lopez c6b756d7de protege-distribution: rewrite patching mechanism
Part of the launcher script and configuration were patched via sed
commands; make the process clearer by using unified-style patches.
2021-06-25 01:10:37 +09:00
Tomas Antonio Lopez 39a4c60782 protege-distribution: init at 5.5.0
Protege Desktop distribution package with third-party plugins.
2021-06-19 04:03:18 +09:00