Advertisement
Guest User

Untitled

a guest
Jul 31st, 2018
79
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.54 KB | None | 0 0
  1. #!/bin/bash
  2.  
  3. if [ -n "${GNOME_DESKTOP_SESSION_ID-}" ] ; then
  4. # just in case DESKTOP_SESSION wasn't properly set
  5. _check=gnome
  6. else
  7. _check="${DESKTOP_SESSION-}"
  8. fi
  9.  
  10. case "${_check}" in
  11. gnome|gnome-*|*/gnome|*/gnome-*)
  12. if [ x"$GTK_CSD" = x"0" ] ; then
  13. unset GTK_CSD
  14. fi
  15. ;;
  16. *)
  17. if [ -z "$GTK_CSD" ] ; then
  18. GTK_CSD=0
  19. fi
  20. export GTK_CSD
  21. if [ x"$GTK_CSD"x = x"0"x ] ; then
  22. export LD_PRELOAD="/usr/\${LIB}/libgtk3-nocsd.so.0${LD_PRELOAD:+:$LD_PRELOAD}"
  23. fi
  24. ;;
  25. esac
  26.  
  27. unset _check
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement