Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-06-30

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

All times shown according to UTC.

Time Nick Message
06:07 xstill joined #divine
09:08 xstill sakra je to zase rozbitý
09:11 spito joined #divine
09:13 mornfall je, no
09:15 xstill na pheme22 se stalo něco divnýho, protože najednou nemůžu číst svojí cgrupu
09:15 mornfall já tam nic nedělal
09:16 xstill nemám tušení jak se to stalo ale změnila se skupina těch souborů (z paradise na root)
09:16 xstill ono se až tak moc neděje ta skupina normálně funguje
09:16 mornfall nevim jestli se nereloadoval systemd, ale jestli tohle provedl na jednom místě tak by měl všude
09:16 xstill ale dsched docela nadává
09:17 xstill no jinde ty skupiny neexistovali
09:17 mornfall tak možná proto
09:17 xstill (ona tam zůstane viset skupina dokud někdo nechce alokovat jinou, pokud příjde znova ten uživatel tak ho to do ní hodí)
09:17 mornfall jasně no
09:18 xstill což možná není úplně ideální, možná by bylo lepší tu prázdnou smazat a vytvořit novou podle default hodnot v konfigu
09:22 mornfall to asi jo, bylo by to konzistentnější (to je zase slovo...)
09:33 xstill jo, můžu pak udělat deploy?
09:33 mornfall hmm
09:34 mornfall zkus
09:38 xstill zkouším, nebouchne to, že? :-P
09:39 xstill hm
09:39 xstill Use of uninitialized value $buildTimeout in concatenation (.) or string at /nix/store/d0pwqp9xicbv0fk8lpalrli58fr0lggq-buildremote/bin/build-remote line 264.
09:39 xstill error: configuration setting `build-timeout' should have an integer value
09:39 xstill ale pokračuje to
09:39 xstill zá se
09:39 mornfall zajímavé
09:40 mornfall bouchnout by to nemělo
09:40 mornfall může to neprojít
09:40 xstill tahá to docela dost věcí
09:41 mornfall odkud kam?
09:42 mornfall od včera jsem změnil jen hydru asi
09:42 xstill jako build asi, z binary-cache převážně
09:42 mornfall jo tak
09:42 mornfall a pustil jsi to když jsem řekl zkus nebo předtím? :)
09:42 mornfall protože před to asi vybouchne :D
09:43 xstill potom
09:43 xstill ale build of `/nix/store/m0msxm57mnj38lajcz4ag0kvjx0rs7q9-hydra-0.1pre0-mornje.drv' on `buildfarm@pheme05.fi.muni.cz' failed with exit code 1, teď to na něco čeká nebo co
09:44 mornfall puf
09:45 mornfall no jo hydra
09:45 mornfall tak si prohoď hydra-old.nix a hydra.nix (v pkgs)
09:47 xstill ok, ale proč se to seklo...
09:47 mornfall to nevím
09:47 xstill co jsi dělal s hydrou?
09:47 mornfall pracuju na upgradu
09:49 xstill je to nějak vesele seknutý, nereaguje to na ctrl+c
09:57 xstill přesunu ti teda hydra.nix na hydra-new.nix
09:57 mornfall počkej
09:57 mornfall už jsem to snad doopravoval
09:57 mornfall zkouším deploy s novou hydrou
09:57 xstill čekám
10:04 mornfall hydru to nějak postavilo
10:05 mornfall a taky se to seklo, wtf
10:06 xstill divné
10:07 xstill já si musím jít sehnat něco k jídlu
10:07 mornfall jasně
10:13 mornfall ono ne že by to nešlo zabít ^C, ono ty build-remote nejde zabít ani devítkou
10:21 mornfall ono to totiž všechno visí v NFS
10:29 mornfall asi jsme narazili na kernel bug
10:30 mornfall kde jinde než na anně...
10:56 xstill super...
11:01 mornfall ale co s tím?
11:02 mornfall počítám že nejseš v Brně...
11:03 xstill no, ještě jsem
11:06 xstill ale co chceš dělat s bugem v NFS?
11:06 mornfall no, budu muset rebootovat ten stroj asi hlavně
11:06 mornfall připadně to nějak nastavit jinak
11:06 mornfall je možný že ten bug je v crossmountech
11:07 xstill co je crossmount?
11:07 mornfall to je NFS který exportuje víc než jeden lokální fs
11:07 mornfall ve společném exportu teda
11:09 xstill aha
11:09 mornfall man nfs píše, že někteří klienti jsou z nohide/crossmnt vykutálení
11:09 mornfall trochu jsem počítal, že linux ve 2013 nebude jeden z nich
11:09 mornfall ale kdoví
11:29 mornfall nějak ten systém teď funguje, nevim jak moc mám chuť ho rebootovat
11:29 mornfall jen ty zaseknutý procesy žerou jeden celej core
11:30 xstill no mě se dneska jít nechce
11:30 mornfall :-)
11:30 mornfall tak já doufám že to najede samo
11:30 mornfall kdyby se to rebootovalo
11:30 mornfall ale ...
11:30 xstill snad jo
11:31 mornfall mít fungující IPMI tak není problém...
11:31 mornfall jen systemd má notorický potíže rebootovat stroj
11:32 mornfall takže by to mohlo zůstat viset v shutdownu
11:32 xstill hmm, to je na nic
11:33 mornfall zdá se že zatím to jde používat, tak než budeme někdo na FI tak to nechám tak
11:34 xstill no já tom budu zítra
11:38 mornfall máš deploynutý dsched
11:38 xstill díky. Jak jsi to udělal?
11:39 mornfall pobil jsem nějaký zámky
11:39 mornfall v /nix/store
11:43 Erbureth joined #divine
11:44 mornfall Erbureth: nazdar
11:44 Erbureth nazdar
11:44 mornfall proč body? :)
11:44 mornfall (jinak asi OK, jen jsem se nedostal k pushu)
11:44 Erbureth mornfall: nenapadl mě lepší název :)
11:44 Erbureth resp. výstižnější
11:45 mornfall a co to vlastně má obsahovat?
11:45 mornfall případně co je to co je v procesu ale není body
11:45 Erbureth to je ta obálka
11:45 mornfall (není to deklarace vs. definice?)
11:46 Erbureth process name { (tady je body) }
11:46 mornfall jo, takže ty závorky to kazí :)
11:46 mornfall oka
11:46 mornfall ještě jsem si teda všiml že nemáme testy na if
11:46 Erbureth jo, ty ještě dopíšu
11:47 mornfall asi se ti nechce DVE testy přeskládat ala test/llvm co? :)
11:47 Erbureth ona ta celá Instantiable byla dělána kvůli míchání ifů a forů
11:47 Erbureth můžu se na to mrknout
11:49 Erbureth a body jsem tam hodil při jednom, kvůli duplikaci kódu
11:49 mornfall oka
12:28 _ilbot joined #divine
12:28 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
12:44 mornfall a aspoň už vím proč nefunguje hydra-server ;-)
12:44 mornfall já zavřel postgresovej port na firewallu ;-)
12:44 mornfall takže hydra byla vyřazená dokonale
13:21 spito xstill: už sis zavedl účet u KB v eurech?
13:21 mornfall kam by si ho měl zavést? :D
13:21 spito do ISu
13:22 spito pro výplatu grantu na erasmus je potřeba mít přesně jeden typ účtu
13:22 mornfall super...
13:22 Erbureth už se o tom diskutuje i na fóru MU
13:22 mornfall to je proto že nemáme eura žejo :)
13:22 spito že? ale už to někdo rozporoval
13:22 spito nojo, ale že to MUSÍ být u KB....
13:22 mornfall no ono to o moc lépe vyřešit nepůjde
13:23 mornfall no, on musí být u KB dost možná proto, že eurový převody mezi bankami prostě nefungujou, nebo jsou nehorázně drahý
13:24 mornfall Klausland :-)
13:24 spito upřímně, nejsem si jistý, jestli je euro taková výhra
13:25 mornfall je
13:25 spito ano, pro podnikatele, ale v konečném důsledku si tím nejsem tak jistý
13:25 mornfall nejen pro podnikatele
13:25 mornfall pro všechny :)
13:26 spito v čem? kromě cest do ciziny?
13:26 mornfall cizina je všude kolem, to nestačí?
14:15 xstill spito: co? jsem zase nezpozoroval nějaké informace...
14:15 spito šel takový mail, spousta velkých písmen v něm byla
14:16 xstill mornfall: tím eurem bych si nebyl tak jistý otázka je jestli tu za pár let bude vůbec nějaké euro...
14:16 spito o tom, že si obratem máme zařídit účet vedený v EUR a že to musí být u KB
14:16 spito https://is.muni.cz/auth/gdf/MU/42281474?studium=648244
14:17 xstill aha, jsem si řekl že si ho přečtu později
14:17 xstill asi bych měl teď
14:19 xstill ačkoli ten mail se tváří dost divoce, řekl bych že až tak spěchat nemusíme, stejně ještě tak půl roku zádné peníze neuvidíme když jedeme na jaře
14:20 xstill nepředpokládám, že by někdo byl tak aktivní aby nám dal peníze tolik dopředu
14:20 xstill spito: ty už jsi ohledně erasmu něco zařizoval?
14:23 spito ne
14:24 xstill já taky ne
14:25 spito ale měl bych napsat něco jako motivační dopis do dánska
14:26 xstill já bych měl vůbec zjistit jestli bych něco měl dělat :-D
14:27 spito no takhle, já jsem si už zažádal o ubytování
14:29 xstill hm
14:57 mornfall hm, ty build-remote nějak pomřely
14:57 mornfall to je asi dobře
16:26 mornfall tak jo, hydra zase nějak funguje, jen jsem rozbil darcs :)
16:26 mornfall ale třeba bych se mohl konečně dokopat k tomu dodělat k tomu nějaký testy
16:27 mornfall a pak to už niksnut snad zmerguje ;)
18:18 Erbureth joined #divine
21:08 Erbureth joined #divine
22:43 spito left #divine
23:02 spito joined #divine
23:05 spito left #divine
23:31 Erbureth joined #divine

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