Tomas Antonio Lopez
|
b751c28f67
|
protege-distribution: 5.5.0 -> 5.6.3
|
2023-11-22 14:50:25 +01:00 |
|
K900
|
cb2cfba6f7
|
treewide: switch all desktop file generators to new API
Notably:
- remove explicit arguments that match the defaults
- convert everything to the right Nix types
|
2022-02-25 13:40:38 -08:00 |
|
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 |
|