Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-10-13

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
05:23 xHire joined #divine
10:14 xstill mornfall: může mi clang vygenerovat invoke na cčkovou funkci namísto call-u?
10:17 mornfall asi může pokud ta fce volá nějaký C++ pak
10:17 mornfall já vlastně nevim :-)
10:18 xstill hm, tak já to napíšu pořádně no…
19:48 spito http://divine.fi.muni.cz/trac ...
19:48 xstill jo, protože nemá databázi
19:49 xstill mornfall: databáze je vypnutá v configu, protože byla ve /var, dokážeme ji nějak obnovit i bez nového disku?
19:51 xstill spito: teď ti nejsem schopný dát nic, ale snad existuje záloha takže by se to mělo dát obnovit
19:51 spito já to teď nepotřebuju
19:51 spito :)
19:51 spito to jenom, že jsem na to při reloadu firefoxu narazil
19:55 xstill ale nevím kde by ta záloha měla být teda…
20:10 mornfall no, v /backup/postgres, ale řekl bych že tam není
20:12 mornfall ono to teda bylo na raid1 ale oba ty disky jsou mrtvý
20:12 mornfall super ne? :-)
20:26 xstill takže nemáme trac?
20:27 mornfall řekl bych že spíš nemáme
20:28 mornfall třeba si můžem vymyslet nějakej jinej systém aspoň nebudem muset nic migrovat :P
20:31 mornfall řekl bych bugsevyrewhere.org ale vypadá to dost umřele
20:31 mornfall bugseverywhere.org
20:33 mornfall ditz.rubyforge.org možná?
20:33 mornfall hm, poslední update 2013, cojávim
20:34 mornfall RubyForge Could Not Connect to Database:
20:35 mornfall řekl bych že se celkově svět rozpadá dost rychle
20:35 mornfall Gitorious.org is migrating all the repositories to Internet Archive.
20:35 mornfall The repositories will soon be available for read-only access, with original clone URLs preserved.
20:35 mornfall bože

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary