Einfach über Einstellungen die about:config öffnen und folgenden String
mail.server.serverX.trash_folder_name
mit diesem Inhalt anlegen
[Gmail]/Trash
Das X in mail.server.serverX.trash_folder_name ist die Nummer des Postfaches. Einfach mal in die Suche
mail.server.server
eingeben. Damit werden alle Postfach-Nummern angezeigt. Ich musste ein paar mal Thunderbird neustarten bis er es wirklich als Papierkorb angenommen hatte. Dann nur noch das Trash-Label in der Weboberfläche von Gmail löschen und alles funktioniert so wie es soll. Alle weiteren IMAP-Gmail-Thunderbird-Tipps findet man hier.
Auf meinem Trip durch die Welt des Wiki’s habe ich gerade ein weiteres Wiki empfohlen bekommen. Das Wikitravel. Ein Wiki mit Reiseberichte und Infos. Ein wirklich nettes Projekt. Da kam ich gleich mal auf die Idee nach der Jerusalem Bus Central Station zu googeln. Die war direkt neben unserem Hotel und wir haben viel Zeit darin verbracht. Und siehe da…sie ist in der Wikipedia. Einmal in englisch und einmal auf hebräisch. Wobei die Hebräische sogar Fotos hat. Ich bin begeistert.
Sehr interessant! Ich denke jeder weiß das man süchtig nach RSS-Feeds werden kann. Es wird eine Variante beschrieben die Feeds nach ihrer Wichtigkeit einzustufen. Vielleicht sollte ich das mal ausprobieren.
{{#ifeq: Administrator | {{{benutzer| }}} | [[Image:Warnung.png|30px]]|}} {{{benutzer|”Nicht angegeben”}}}
Dies Benutze ich in einem Template wenn {{{Benutzer}}} der Administrator eingetragen wird…eine Warn-Grafik eingefügt wird.
Eine nette Extension um so Sachen wie if oder ifeq zu benutzen.
{{ #ifeq: text 1 | text 2 | equal text | not equal text }}
Ich habe es gerade Benutzt um eine Grafik in ein Template einzubauen.
Gerade entdeckt und gleich verliebt. WikED kann als Greasemonkey-Script oder in das persöhnliche CSS eingebunden werden und bietet gleich viel mehr Möglichkeiten Wiki-Texte zu schreiben oder zu editieren. Was ich noch mehr testen muss ist das reinkopieren von formatierten Texten und Tabellen und das direkte umwandeln in WikiText. Es lohnt sich auf jeden Fall sich das mal anzuschauen.
Da wir mit vielen Tabellen in unserm Firmen-Wiki zutun haben bin ich immer daran das ganze etwas besser zu machen. Heute fand ich einen Weg Tabellen sortierbar zu machen.
{|class="sortable"
|Ich bin eine Tabelle
|}
Und schon ist das ganze ein wenig besser zu handeln.
Der HTML-Export in MediaWiki scheint nicht mehr zu funktionieren. Um es ansatzweise laufen zubekommen muss man folgendes machen. In der /maintance/dumpHTML.ini
$wgUploadPath = "$wgScriptPath/{$this->imageRel}";
löschen und ersetzen mit
$repo = RepoGroup::singleton()->getLocalRepo();
$repo->url = $wgUploadPath = "$wgScriptPath/{$this->imageRel}";
und dann
cp skins/disabled/HTMLDump.php skins/
cp -Rv skins/ static/
erstellen…
php5 dumpHTML.php --image-snapshot --interlang --force-copy -k monobook
Zum Bugzilla-Eintrag geht es hier.
Wird gerade gebraucht um zwischen zwei Java-Versionen zu wechseln.
@echo off
echo Setting JAVA_HOME
set JAVA_HOME=C:\Program Files\Java\jdk1.5.0_12
echo setting PATH
set PATH=C:\Program Files\Java\jdk1.5.0_12\bin;%PATH%
echo Display java version
java -version
Danke.
