SHARE
TWEET

Untitled

a guest Mar 20th, 2017 61 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. $ unset GNOME_DESKTOP_SESSION_ID
  2. $ monodevelop
  3.    
  4. su
  5. cd /opt/monodevelop && nano monodevelop.sh
  6.    
  7. #!/bin/bash
  8. unset -v GNOME_DESKTOP_SESSION_ID
  9. cd /usr/bin && ./monodevelop-opt #or monodevelop if exist
  10.    
  11. chmod +x monodevelop.sh
  12. ln -s /opt/monodevelop/monodevelop.sh /usr/local/bin/monodevelop
  13. cd /usr/share/applications/ && nano monodevelop-opt.desktop #or monodevelop.desktop if exist
  14.    
  15. Exec=monodevelop %F
  16. TryExec=monodevelop
RAW Paste Data
Top