Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-03-31

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

All times shown according to UTC.

Time Nick Message
00:20 spito mornfall: proč jsem tam já a jiřík pojmenovaní účtama na FI a ostatní mají jména? :D
00:22 mornfall spito: protože sis tak nastavil darcs :-)
00:22 mornfall spito: ale když si tam vyrobíš profil tak se můžeš pojmenovat jak chceš
00:24 spito jak jsem si nastavil darcs,
00:24 spito ?
00:24 mornfall že tam nemáš jméno
00:24 mornfall Sun Mar 30 20:47:02 CEST 2014  xweiser1@fi.muni.cz
00:24 mornfall oproti
00:24 mornfall Sun Mar 30 22:31:09 CEST 2014  Petr Rockai <me@mornfall.net>
01:25 ilbot3 joined #divine
01:25 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
06:55 mornfall tak hurá do školy...
07:45 xstill mornfall: ale ty bys sis něco mohl udělat s tím "me" ve statistikách, to je tvoje práce nejspíš
08:01 xstill "This project has a relatively large team, in the top 10% of all project teams on Ohloh." To jako fakt? zajímavý
08:02 xstill ale teda kde jsme nazbírali celých 12% komentářů to fakt netuším
08:25 mornfall ups, spravil jsem :-)
08:33 mornfall no, ten large development team se asi dost zdrcne těma aliasama ;-)
08:33 mornfall a ono to sice umí ignorovat cesty, ale už nepozná že nemá počítat commity který (jakoby) nic nemění
08:40 xstill jo. a nefunguje jim browse code
08:46 xstill nějak nám zmizeli lidi po přepočtu :-D
08:47 mornfall jo, já rovnou zmergoval všechny, plusminus
08:49 xstill už to vypadá ok
09:23 mornfall vypínám stroje
10:49 xstill hm, jsem to trochu přehnal s chilli papričkama
11:23 spito joined #divine
11:33 xstill to je super když člověk kdo ví jak dlouho hledá chybu a pak zjistí že chyba je v testovacím programu co jsme dostali
11:35 xstill zlatej kontr proti tomuto
12:33 spito :D
12:34 mornfall xstill: (7/37) String: ..............C:/WORK/source/wibble/string.test.h: 146: assertion `str::appendpath("a", "/b") == "/b"' failed; got [a/b] != [/b] instead
12:34 mornfall xstill: na windows ;-)
12:38 xstill zatracený windows
12:40 xstill a víme jak by se to na win mělo chovat pořádně?
12:43 mornfall no to může být klidně vadnej test :-)
12:44 mornfall (že na windows se má testovat "a" "\\b"
12:44 mornfall )
12:49 xstill spito by nám mohl říct jak se spojují cesty na win
12:50 mornfall nepochybně blbě :-)
12:50 mornfall zejména když to začíná c:\
12:54 xstill hm, proč nepoužijeme System.FilePath.</> jako referenci :-D?
12:55 xstill pro zjištění jestli je test dobře
12:55 xstill podívám se na to
13:05 xstill jo test je blbě
13:14 xstill mornfall: odesláno, otestovat to musí hydra (přeložit by se to mělo)
14:56 xstill jo a kdyby jsi procpal ten patch na "mount: /nix/store/i74lqalaa1hn51ainp93s07dznfg5cam-X17-59183.iso: failed to setup loop device: No such file or directory" do upstreamu tak bych třeba i mohl ty windows buildy testovat u sebe
18:59 mornfall hm, chtěl jsem pushnout zbytek patchů, ale v serverovně není proud
18:59 xstill paráda
18:59 xstill takže se dozvíme kuloví
19:02 mornfall ale jinak lokálně si to můžeš zkusit tak že tomu dáš -I nipkgs=$HOME/.../nixpkgs-mornfall nebo tak něco :)
19:03 mornfall jen počítám že to budeš buildit do rána ;-)
19:03 xstill jo no a milion věcí který už mám z normálních nixpkgs k tomu
19:09 mornfall proč?
19:09 mornfall jedině že se změnil stdenv poslední dobou v masteru
19:11 mornfall (nebo qemu, to se možná měnilo nedávno)
19:36 xstill hm já mám hlavně jen 11 GB volných v /nix
19:36 mornfall :-)
19:36 mornfall to bys asi nepochodil no
19:36 mornfall nebo možná těsně
19:37 xstill hlavně by to pak bylo plný
19:37 xstill hm, člověk by řekl že 100 GB je docela dost
19:38 mornfall máš 100G /nix?
19:38 xstill jo
19:38 xstill ale už jsem dost dlouho neuklízel
19:38 mornfall /dev/aldalome.vg0/nix            40G          36G  3,1G           92% /nix
19:42 xstill no máš dost plno
19:47 mornfall kdo dneska nemá plno ;-)
20:19 xstill hm jen doufám, že někdo aspoň ty servery nahodí až zapnou proud
20:20 mornfall no, jedině my po ipmi
20:22 xstill aha to by mělo jít to je fakt
20:22 xstill jen teda já jsem nikdy nehrabal do impi od serverů, ty fungují stejně jako u pheme?
20:25 mornfall jo
20:25 mornfall jen anna nemá, takže tu bude muset někdo zapnout ručně
20:25 mornfall (web)
23:23 spito left #divine

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