Advertisement
Guest User

Untitled

a guest
Mar 20th, 2017
90
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.43 KB | None | 0 0
  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
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement