#!/bin/sh echo Copying desktop files... sudo cp -f /opt/RedPandaIDE/redpandaide.desktop /usr/share/applications echo Done!