Then, provided that also the changes to vrep.sh
have been done, you can have V-REP integrated with GNOME menu and Ubuntu Unity, by creating a file in $HOME/.local/share/applications/vrep.desktop (or in the global location /usr/local/share/applications/vrep.desktop) with contents:
Code: Select all
Note: I assumed V-REP is installed in /opt/vrep.
In fact, what I do on Linux is to unpack the V-REP package to /opt/V-REP_PRO_EDU_V3_2_0_rev6_64_Linux and then create a symlink /opt/vrep pointing to it, so I can also switch between vrep versions if needed.
Note2: probably the icon path I choose is not correct, but I was unable to find the actual V-REP icon.
Still it is not standard, and makes some assumptions, but it is getting closer :-)