KopfPit - Weblog » Plugin

ShellEd – Eclipse Shell Script Editor Search

ct — Sun, 10 Oct 2010 22:16:17 +0000

Oh wie schön ist Open Source! Nachdem es in letzter Zeit immer öfter den Fall gab, dass man anstehende, sich wiederholende Aufgaben schön in einem Shell Skript unterbringen konnte… der Programmierer an sich ist ja ein faules Tier …
War ich es langsam echt leid, Skripte die lokal entwickelt werden, in Zeiten von schmucken Editoren mit syntax highlighting und function lists, nur im VI runterzuhakeln…

ShellEd (Link zum Wiki) scheint für diesen Zweck unter den Eclipse Plugins die erste (einzige?!) Wahl zu sein! Die Installation aus der Paketquelle scheiterte, lokal aus dem ZIP (Download von Sourceforge) installiert, verichtet es seinen Dienst bisher fehlerfrei. Man muss vor der Installation beachten, dass Abhängigkeiten zu DLTK 2.0 und dem Man Page Viewer aus den Linux Tools bestehen. Diese sollten vor dem Plugin zu Eclipse hinzugefügt werden.

jQuery Plugin – contentfader

ct — Sun, 19 Sep 2010 15:47:29 +0000

Current version: 1.0
License: MIT/GPL

contentfader ist ein einfaches jQuery Plugin zum FadeIn/FadeOut von Aufzählungselementen. Die Elemente einer UL Liste werden in Gruppen zusammengefasst. Die Elementgruppen werden in jedem Durchlauf genau einmal eingeblendet, die Auswahl erfolgt zufällig aus den bisher nicht gezeigten Gruppen.

jQuery Plugin – contentfader Projektseite

PHPUnit mittels PTI in Eclipse einbinden

fs — Sun, 25 Oct 2009 13:16:09 +0000

Gerade gefunden und klingt hervorragend:

PHPUnit mittels PTI in Eclipse einbinden | PHP hates me – Der PHP Blog.

Neu auf kopfpit.de – Das WPtouch plugin

fs — Mon, 17 Nov 2008 12:59:45 +0000

Wir haben nun das Plugin WPtouch in Betrieb genommen, welches unseren Blog iPhone-/iPod touch-tauglich darstellt. Es erkennt automatisch den User Agent und stellt den Blog (noch in dem Standarddesign) schön auf dem iPhone und Konsorten dar.

Man kann auch weiterhin den normalen Style wählen (weiter unten auf der Seite ist ein Umschalter).

Die Installation ist denkbar einfach, da man nur den Inhalt in den wp-contents/pugins-Ordner entpacken muss und über den Admin das Plugin aktivieren muss.