diff options
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; |