diff options
| author | opty | 2019-10-10 23:02:38 +0200 |
|---|---|---|
| committer | opty | 2019-10-10 23:02:38 +0200 |
| commit | 722a5f48e156afbcb7cd294c20685364c5e2c78d (patch) | |
| tree | bd3a820542b2f500aa79492d1b06e468480ef68a | |
| parent | f73951a1d17328640dc036a5181236c8e5530d7d (diff) | |
| download | aur-722a5f48e156afbcb7cd294c20685364c5e2c78d.tar.gz | |
Wrong package naÃme
| -rwxr-xr-x | JRomManager.desktop | 4 | ||||
| -rwxr-xr-x | JRomManager.sh | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/JRomManager.desktop b/JRomManager.desktop index 399ea226c9f7..228d870dbb1f 100755 --- a/JRomManager.desktop +++ b/JRomManager.desktop @@ -2,9 +2,9 @@ Type=Application Name=JRomManager Comment=A Rom Manager entirely written in Java and released under GPL v3 -Exec=/usr/bin/jrommanager +Exec=/usr/bin/jrommanager-bin Icon=JRomManager -Path=/usr/share/java/jrommanager +Path=/usr/share/java/jrommanager-bin Terminal=false StartupNotify=false Categories=Utility; diff --git a/JRomManager.sh b/JRomManager.sh index db2dd40c45ca..66b7ae5fda46 100755 --- a/JRomManager.sh +++ b/JRomManager.sh @@ -1,5 +1,5 @@ #!/bin/sh -cd /usr/share/java/jrommanager +cd /usr/share/java/jrommanager-bin OPT=-Xmx1g which grep >/dev/null if [ $? -eq 0 ]; then |