gnome-shell-restart.sh

#!/bin/bash
# Restart the GNOME shell by commandline via SSH. Similar to nohup.
# Copyright (C) 2013-2014  James Shubin
# Written by James Shubin <james@shubin.ca>
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU Affero General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU Affero General Public License for more details.
#
# You should have received a copy of the GNU Affero General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.

# README: https://ttboj.wordpress.com/2014/05/29/restarting-gnome-shell-via-ssh/

export DISPLAY=:0.0
# do a nohup bash style according to:
# http://seejeffrun.blogspot.com/2008/05/bash-nohups-background-jobs.html
{ `gnome-shell --replace &> /dev/null`; } < /dev/stdin &

I think you should triple license it under GPLv3/LGPLv2+/MPL1 ... ratio of code/license is not crazy enough still, besides the immense intellectual value of the script should not be protected just by GPL.

I think you should triple license it under GPLv3/LGPLv2+/MPL1 ... ratio of code/license is not crazy enough still, besides the immense intellectual value of the script should not be protected just by GPL.

It's the default license header that comes out when I write code. Please respect the license or don't use it. Thanks!