m (Code)
Line 11: Line 11:
 
# [[sanitize]] — to remove accents & special characters from filenames.
 
# [[sanitize]] — to remove accents & special characters from filenames.
 
# [[putInDir]] — to move files inside directories bearing their name.
 
# [[putInDir]] — to move files inside directories bearing their name.
 +
# [[uniqname]] — to generate a timestamp which can be used as a unique name.
  
 
== Pretty print ==
 
== Pretty print ==
  
 
We use [http://www.mediawiki.org/wiki/User:Gri6507 Paul Grinberg]'s [http://www.mediawiki.org/wiki/Extension:Code Code extension] for [[Mediawiki]] to pretty-print source through [http://qbnz.com/highlighter/ GeSHi] on our web.
 
We use [http://www.mediawiki.org/wiki/User:Gri6507 Paul Grinberg]'s [http://www.mediawiki.org/wiki/Extension:Code Code extension] for [[Mediawiki]] to pretty-print source through [http://qbnz.com/highlighter/ GeSHi] on our web.

Revision as of 17:40, 29 August 2012

{{{1}}}

Code

This page is still largely in progress.

This is a list of code we make available with no guarantee, beside the one that it did once work for its intended purpose.

Beware, version below one (e.g., v°0.1) are $\beta$-version. It might be that's all you find here.

  1. stampit — to stamp pdf files after their name.
  2. sanitize — to remove accents & special characters from filenames.
  3. putInDir — to move files inside directories bearing their name.
  4. uniqname — to generate a timestamp which can be used as a unique name.

Pretty print

We use Paul Grinberg's Code extension for Mediawiki to pretty-print source through GeSHi on our web.