Lizenz einer Mediawiki ändern

Möchte man die Lizenz einer MediaWiki ändern so muss man die LocalSettings.php editieren. Dort gibt es dann einen Teil der in etwa so aussieht:

$wgRightsPage = „“; # Set to the title of a wiki page that describes your license/copyright
$wgRightsUrl = „http://creativecommons.org/licenses/by-sa/3.0/“;
$wgRightsText = „Attribution-Share Alike 3.0 Unported“;
$wgRightsIcon = „http://i.creativecommons.org/l/by-sa/3.0/88×31.png“;
# $wgRightsCode = „[license_code]“; # Not yet used

Hier kann man dann die Lizenz ändern. Wichtig ist dabei zu beachten das auch alle anderen Nutzer der Lizenzänderung zustimmen, sonst wäre das ganze rechtlich nicht zulässig.

Weitere Informationen gibt es unter:
http://de.wikipedia.org/wiki/MediaWiki

Festplatte formatiert und nun?

Gestern habe ich eine externe Festplatte mittels GParted formatiert. Als Dateisystem wählte ich ext4. Aus alter Gewohnheit (früherer Windowsnutzer halt ;) ) wollte ich dann gleich etwas auf der Festplatte schreiben, doch die Festplatte wollte das nicht. Nach einigem überlegen kam ich dann drauf, öffnete ein Terminal und gab

chmod 777 /media/disk

ein und schon funktionierte das ganze. Manchmal ist die Lösung so einfach :)

Weitere Informationen gibt es unter:
http://wiki.ubuntuusers.de/gparted
http://de.wikipedia.org/wiki/Ext4