# for Ubuntu gsettings set org.gnome.settings-daemon.plugins.media-keys max-screencast-length 0 # or use dconf-editor to change from a gui