diff options
author | Dimitris Pappas | 2023-11-30 10:47:17 +0200 |
---|---|---|
committer | Dimitris Pappas | 2023-11-30 11:04:51 +0200 |
commit | 8a3d79fa98393590f5feea4e75e0a804321242c6 (patch) | |
tree | b9f449e32fc8849b0fae95c6dc3c181e6413bdab /minizinc-ide-edge.desktop | |
download | aur-8a3d79fa98393590f5feea4e75e0a804321242c6.tar.gz |
Initial
Diffstat (limited to 'minizinc-ide-edge.desktop')
-rw-r--r-- | minizinc-ide-edge.desktop | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/minizinc-ide-edge.desktop b/minizinc-ide-edge.desktop new file mode 100644 index 000000000000..767ca5a716af --- /dev/null +++ b/minizinc-ide-edge.desktop @@ -0,0 +1,10 @@ +[Desktop Entry] +Type=Application +Name=MiniZinc IDE Edge +Comment=Simple IDE for writing and running MiniZinc models +Icon=/opt/minizinc-ide-edge/resources/icon.png +#Exec= env LD_LIBRARY_PATH=/opt/minizinc-ide-edge/lib:$LD_LIBRARY_PATH +#Exec=MiniZincIDE +Exec=sh -c "LD_LIBRARY_PATH=/opt/minizinc-ide-edge/lib:$LDLIBRARY_PATH MiniZincIDE Edge" +Terminal=false +Categories=Development;IDE; |