Petr Mrázek
|
0d157d86b5
|
NOISSUE add wget as a dependency for deb package
|
2020-01-08 06:28:42 +01:00 |
|
Petr Mrázek
|
3a67990acd
|
NOISSUE bump deb package version
|
2019-07-11 01:28:48 +02:00 |
|
Petr Mrázek
|
23eab74e6d
|
NOISSUE make the deb package depend on Qt5
|
2019-07-11 01:26:33 +02:00 |
|
isoraqathedh
|
d87bd4b588
|
Update run.sh
Pass command line arguments through to the executable
|
2019-06-08 21:21:22 +08:00 |
|
Noah
|
8b56d77f5e
|
add minecraft keyword
|
2018-10-31 20:40:19 +01:00 |
|
Petr Mrázek
|
b9fd381eee
|
GH-2268 update the deb package to not depend on latest jre
* `openjdk-8-jre` is now recommended
* the package now depends on `desktop-file-utils`
* the desktop icon has been updated to the current one
|
2018-05-17 23:14:12 +02:00 |
|
Petr Mrázek
|
868669a497
|
NOISSUE add a linux system packaging install layout
|
2017-05-13 01:24:15 +02:00 |
|
Petr Mrázek
|
7459eb627c
|
GH-1266 fix ubuntu run script
|
2015-10-02 23:06:22 +02:00 |
|