| #!/bin/bash | |
| ######## defaults | |
| EXECUTABLE_NAME="a.out" | |
| LIBS="" | |
| LOG_FILE="/tmp/$(basename $0).$RANDOM.log" | |
| COMPILE_OPTS="" | |
| LINK_OPTS="" | |
| if [ "$1" == "debug" ] |
| Controller.create('Test', { | |
| /** | |
| * @Route('/') | |
| */ | |
| indexAction: function(req, res) | |
| { | |
| }, |
| <a href="/delete/stuff" class="btn btn-delete" data-sure-text="sure?"> delete </a> | |
| { | |
| "auto_complete_commit_on_tab": true, | |
| "caret_style": "smooth", | |
| "color_scheme": "Packages/Theme - Phoenix/Color Scheme/Tomorrow-Night.tmTheme", | |
| "detect_slow_plugins": false, | |
| "draw_minimap_border": true, | |
| "ensure_newline_at_eof_on_save": true, | |
| "font_face": "Source Code Pro", | |
| "font_size": 11, | |
| "ignored_packages": |
| <?php | |
| function stringifyDateInterval(\DateInterval $inv) | |
| { | |
| $dat = 'P' . (($inv->y !== 0) ? $inv->y . 'Y' : '') | |
| . (($inv->m !== 0) ? $inv->m . 'M' : '') | |
| . (($inv->d !== 0) ? $inv->d . 'D' : ''); | |
| $tme = 'T' . (($inv->h !== 0) ? $inv->h . 'H' : '') | |
| . (($inv->i !== 0) ? $inv->i . 'M' : '') |
| <?php | |
| $array_a = [ 'a' => 'red', '42', true]; | |
| $array_b = [ 'blue', 42, 'true']; | |
| var_dump(array_intersect($array_a, $array_b)); // [ '42' ] | |
| var_dump(array_filter($array_a, function($v) use ($array_b) { | |
| return(in_array($v, $array_b)); | |
| })); // [ '42', true ] |
| fn fibbo(max: int, cb: fn(int) -> bool) { | |
| let mut a = 1; | |
| let mut b = 0; | |
| let mut c; | |
| loop { | |
| c = a; | |
| a = a+b; | |
| b = c; |
| #!/bin/sh | |
| walk_dir() { | |
| if [[ -e MD5SUM ]] | |
| then | |
| md5sum -c MD5SUM | |
| else | |
| for FILE in `ls .`; | |
| do | |
| if [[ -d $FILE ]] |
| var stream = new StreamThingy() | |
| stream.transform = myCrazyFormater | |
| io.sockets.on('connection', function(socket) { | |
| stream.add(socket) | |
| }) | |
| stream.pipe(process.stdout) |
PodHost soll ein SaaS (oder WSaaS) Projekt werden das sich dem Hosten von Podcasts widmet. Der User (Podcaster) kann sich seinen einen Blog gestalten und dort ohne viel technischen Sachverstand mit minimalem Aufwand Podcasts veröffentlichen. Hosting, speicherung der Daten, veröffentlichen der Feeds etc. übernimmt PodHost.