IRC log for #divine, 2013-07-01

Time	Nick	Message
08:10	xstill	mornfall: může být, že každý worker nix-daemona bude v cgrupách, ne jen ten co builduje?
08:27	xstill	anna je zase nějak přetížená
09:48	mornfall	hm, co znamená přetížená?
09:49	mornfall	jo, cgroupy nix-daemona v pohodě
11:36	xstill	mornfall: zde, už.
13:06	xstill	mornfall: zdá se že už to funguje, is konfigurací
13:07	xstill	jen jsem si nadělal pěknej bordel v gitu
13:14	mornfall	:-)
13:16	xstill	asi budu muset udělat nějakej rebase nebo tak něco, protože tam mám 10 patchů a jen 3 z nich mají smysl.
13:16	mornfall	rebase -i
13:17	xstill	ok
13:29	xstill	hm, jo lokálně jsem to zvládnul, ale před tím jsem si to už poslal do forku na githubu. Jde to nějak dostat i tam?
14:39	mornfall	jo, push -f
14:39	mornfall	ale prvně si pusť --dry
14:46	xstill	hm, push -f --dry-run nic neříká -- znamená to, že je vše v pořátku a můžu udělat push -f ?
14:51	xstill	už jsem to provedl
14:51	xstill	zdá se že je to v pohodě
14:55	mornfall	jo, jen ti to řekne kam to jde pushnout :)
14:55	mornfall	push -f klidně přepíše úplně cokoliv :-))
14:56	mornfall	ono to teda jde napravit, ale je to mrzutý
15:02	xstill	zdá se že to dopadlo dobře
15:02	xstill	dělal jsi teď někdy deploy?
15:02	mornfall	dneska ne
15:03	xstill	ok
15:06	xstill	bylo by možné na pheme nasadit ten nix z mého gitu?
15:07	mornfall	nevím jestli to jde udělat jen na pheme
15:07	mornfall	ha
15:07	mornfall	environment.nix = ...
15:08	mornfall	jo, mělo by to jít :-)
15:08	xstill	no já jsem ten patch udělal nad aktuálním repem, takže to jaksi nemusí být stable
15:08	mornfall	jen se musí vyrobit extra balík
15:08	mornfall	(environment.nix = local.nix; se může pak napsat do pheme.nix)
15:08	xstill	balík v /etc/nixos/pkgs?
15:09	mornfall	j
15:09	xstill	hm, nedá se to nějak nastavit na release.nix který je v tom nixu?
15:10	mornfall	viz pkgs/hydra.nix :)
15:10	xstill	mrknu
15:11	xstill	hm, a jak dostanu z gitu sha256?
15:12	mornfall	nix-prefetch-git
15:12	xstill	ok
15:18		spito joined #divine
15:19	xstill	jak se to vezme v tom local.nix?
15:20	xstill	spito: prý nemusíme zatím zakládat EUR účet, stačí před podpisem finanční dohody
15:21	spito	super
15:21	spito	hele, sluší se jít na promoce? stojí to 250 :D
15:22	xstill	jo no to mě taky překvapilo, že po nás chtějí aby jsme platili za vlastní promoce
15:22	spito	no, kytky a žestě
15:22	xstill	naši se rozhodli přijet, i přes to že jsem ji říkal, že je to zcela zbytečný, takže tam budu muset...
15:23	xstill	ale tak mohli by nás odměnit za to že jsem udělali státnice :-P
15:24	spito	zas na druhou stranu je chápu, nám ten titul může umožnit zisk lepší pracovní pozice
15:24	spito	a víš jak, žestě...:D
15:24	xstill	jaký žestě pořád?
15:25	spito	Poplatek zahrnuje živou hudbu (Moravské žestě vedené Františkem Vithou), květinovou výzdobu apod.
15:25	xstill	jaj tak
15:25	xstill	už chápu
15:25	spito	netušíš kdo má návrh na cenu děkana?
15:25	xstill	netuším
15:26	spito	budou 2x famfáry, hymna a gaudeámus
15:27	mornfall	já na promocích nebyl ani jednou
15:27	mornfall	jestli vás to potěší
15:27	mornfall	bakalářský diplom jsem si ani nevyzvedl
15:27	mornfall	co s tím, taky :-)))
15:27	xstill	:-D
15:28	xstill	no jo, ale naši chtějí promoce prostě vidět...
15:28	xstill	je to úplně marný
15:29	spito	mě by asi umlátili, kdyby se dověděli o tom, že jsem jim zatajil promoci
15:29	mornfall	máte to těžký
15:30	xstill	no naši jsou moc aktivní na to aby se jim dala zatajit
15:30	xstill	mě to moc neláká sedět tak v obleku a poslouchat děkana
15:30	mornfall	naši někdy kolem čtvrtý třídy přestali chodit na rodička a od tý doby moji školu neřeší :-))
15:30	mornfall	před pár měsícama mě dost šokovali když přišli na koncert třídy
15:30	xstill	:-D
15:32	xstill	hm, deploy-manifest už něco dělá, zdá se že se mi to povedlo nastavit...
15:33	xstill	ale anna je furt nějaká pomalá
15:34	xstill	mornfall: pokud bys to náhodou chtěl restartovat, máš čas do zítra tak 11 hodin, než odjedu z brna, pak už to nebudu moc nahodit...
15:35	xstill	load 66 :-(
15:36	xstill	co je kswapd0?
15:38	xstill	asi swapuje jak šílená
15:45	xstill	sakra a já to nepustil se screenu a manifest se ještě nedostal ani k tomu aby vypsal co bude buildovat
15:45	mornfall	hm
15:46	xstill	nevíc co se tam děje ale je to nějaká krize
15:47	xstill	mornfall: mám vůbec pouštět deploy teď?
15:47	mornfall	teď ti tam nic neběží?
15:47	xstill	zabil jsem ten deploy-manifest, ještě asi úplně neumřel, ale jinak nic
15:48	mornfall	někde selhává počítání slotů
15:48	xstill	to je dost blbý
15:49	mornfall	myslím že když se pustí deploy jako root tak nejde skrz démona
15:49	mornfall	hm
15:49	mornfall	chce to tam na strategické místo napsat NIX_REMOTE=daemon
15:49	mornfall	asi do lib
15:49	xstill	hm, to není v environmentu roota?
15:49	mornfall	myslim si že ne
15:50	mornfall	a bez démona nefunguje počítání slotů, takže se to celý trochu zblázní
15:50	xstill	super
15:51	mornfall	ono z hlediska robustnosti to je normálně lepší
15:51	mornfall	protože nix-daemon je další věc která se může rozbít a bránit ti opravit systém
15:52	xstill	jo to dává smysl
15:54	xstill	mornfall: ten restart co jsi o něm mluvil včera jsi si rozmyslel?
15:55	mornfall	no, ono ty procesy zmizely
15:55	mornfall	tak nevím
15:55	mornfall	jseš teď na FI?
15:55	xstill	teď jo
15:55	xstill	ale ne moc dlouho už
15:55	xstill	chce se mi jít domu
15:55	mornfall	:-)
15:55	mornfall	jak chceš
15:56	mornfall	reboot by tomu asi obecně prospěl, ale zdá se že to není urgentní
15:56	xstill	no budu v Brně až na promoce :-D, do té doby nevím jestli tu bude někdo kdo by to nahodil...
15:57	mornfall	je pravda že já asi jinak do Brna taky nemusím
15:58	spito	tak já tu budu pořád skoro
15:58	spito	ale nevím, jestli to umím :D
15:58	spito	a mám práva
15:58	mornfall	xstill: tak já to rebootnu, ať zjistíme jak to dopadne
15:58	xstill	ok
15:59	xstill	spito: to asi nemáš, to chce magickou položku ve fadminu :-P
15:59	mornfall	to by nebyl takový problém ho tam pustit
16:00	mornfall	otázka je jestli by to něčemu pomohlo :-)
16:01	spito	přesně tam mornfalle
16:02	mornfall	radši se neptám kam :D
16:02	mornfall	nezdá se, že by systemd nějak zaregistroval že se má rebootovat... :-))
16:02	mornfall	to je ten dbus a kdovíco
16:02	mornfall	trvá to sto let
16:06	mornfall	hm
16:06	mornfall	teď se to teprv seklo
16:06	mornfall	meh
16:09	mornfall	teď mi tak došlo, že vlastně nám stačí jeden usb-to-serial kabel
16:09	mornfall	to co je mezi annou a polem se může dát mezi annu a anteu
16:09	mornfall	a usb-to-serial se dá mezi annu a pole
16:09	mornfall	a anna by tím měla sériovou konzoli
16:09	spito	tam --> tak
16:10	xstill	hm, to by bylo fain
16:10	xstill	ale tím to asi stejně nevypneme ne?
16:10	mornfall	to ne
16:11	xstill	stále nic? Je to seklý?
16:11	mornfall	no, mám dvě sešny, v jedný běží sudo reboot a ve druhý sudo pkill xz :-)
16:11	mornfall	ten reboot už 10 minut
16:11	mornfall	ten pkill ještě jen 3
16:11	xstill	:-D
16:17	mornfall	Failed to issue method call: Did not receive a reply. Possible causes include: the remote application did not send a reply, the message bus security policy blocked the reply, the reply timeout expired, or the network connection was broken.
16:17	mornfall	viva systemd
16:19	mornfall	hm
16:19	mornfall	ale sshd už neběží
16:19	mornfall	takže systemd asi dostal message ale odpověď už nepřišla
16:19	mornfall	nebo nevim
16:19	xstill	ping jde stále
16:22	mornfall	kdoví co to dělá...
16:22	mornfall	nginx je taky mrtvej, takže služby to pobilo
16:23	mornfall	ale reboot zatím nic
16:24	mornfall	už to zabilo aj ty sešny
16:25	mornfall	a teď už pingá jen... už nepingá
16:25	xstill	tak uvidíme
16:30	mornfall	no, zatím teda nic moc... už je to skoro 5 minut
16:34	mornfall	achjo :-)
16:34	xstill	už mě to moc nebaví, zajdu tam ne?
16:35	mornfall	asi jo
16:35	mornfall	taky mě to nebaví
16:37	xstill	ok jdu
16:42	mornfall	tak co to píše?
16:44	xstill	zaseklo se to při odmountovávání
16:44	xstill	reboot
16:45	mornfall	klasika...
16:45	mornfall	systemd je pěkně nahovno...
16:46	xstill	online
16:47	mornfall	takže po rebootu to najelo samo?
16:47	xstill	jo
16:47	mornfall	jsem tam
16:47	mornfall	tak jo
16:47	mornfall	bože to je systém
16:47	mornfall	zjistím co stojí PDUčka
16:47	xstill	co?
16:47	mornfall	a kdyžtak si jedno koupíme, i když to je redundantní s IPMI
16:48	mornfall	no, krabičky se zásuvkama a ethernetem
16:48	xstill	btw. jsem si musal od vrátného zase půjčit klíč, hala už je zamčená
16:48	mornfall	super... :-)
16:52	mornfall	http://www.alza.cz/axago-ads-50-d246597.htm tady je kabel
16:54	xstill	tak já jdu domů
16:54	xstill	doufám že to nedude pro fakult moc drahý :-P
16:56	mornfall	:-)))
17:28	mornfall	s těma PDU je to znatelně horší
17:31	mornfall	http://www.selfcontrol.cz/wdt4usb.htm asi jediná rozumná možnost :-)
17:31	mornfall	necelých devět stovek
17:36	spito	a to je k čemu?
17:36	mornfall	ke vzdálenýmu rebootu když se něco fest sekne
17:37	spito	jako že to udělá na chvilku výpadek proudu?
17:40	mornfall	j
17:40	mornfall	relé s USB rozhraním
17:49	mornfall	jednoho dne si koupím pár tady těchto věcí, http://www.selfcontrol.cz/usb3x3.htm k tomu raspberry pi a všechno to našroubuju do rozvodové krabice
17:53	spito	pěkné
17:54	xstill	:-)
17:55	mornfall	pak na to nainstaluju NixOS a když se rozbije, bude tma a zima ;-)))
17:55	spito	a bude ti to patřit :P
17:56	xstill	myslím, že nixos už na PI někdo dal :-D
18:03	mornfall	ono, k čemu je dobrej smartphone, když z něj nemůžu zhasnout v kuchyni, žejo...
18:14	xstill	mornfall: asi jsi nepustil deploy, že?
18:14	xstill	můžu nasadit ten novej nix na všechny pheme?
18:17	mornfall	můžeš, ale počkej :-)
18:17	xstill	na co?
18:18	mornfall	musíme vyřešit ten overload
18:18	xstill	momentálně je tam tak 15x xz
18:18	mornfall	je, a to je moc
18:19	xstill	to dělá hydra?
18:19	mornfall	build-remote, ale zatím nechápu jak se tomu daří vyrobit jich tolik
18:20	xstill	jestli je to výstup, nemůže to pakovat příslušná pheme?
18:20	mornfall	mohla ale je to netriviální
18:21	mornfall	resp. mohlo by to být triviální kdyby se dal pheme write přístup do binary cache
18:22	xstill	hm, to by asi nemusalo ničemu vadit, ne? Buidl je v chrootu, takže ten by tam nemohl.
18:24	mornfall	o build tak nejde
18:25	xstill	o co jde?
18:27		Erbureth joined #divine
18:28	mornfall	že ty počítače nejsou zas tak důvěryhodný, a když můžeš psát do binary cache tak můžeš v podstatě kompromitovat všechny downstream
18:29	xstill	hm, a anna kontroluje ty buildy co udělají?
18:32	mornfall	to ne, ale ten potenciál exploitu je znatelně menší
18:32	mornfall	ono není jak to kontrolovat
18:32	mornfall	nezbývá než to vyřešit v build-remote každopádně
18:33	mornfall	teda ten paralelizmus
18:33	mornfall	on to nekontroluje ani nix-daemon globálně, jen per worker
18:34	xstill	nechápu proč je potenciál exploitu menší pokud se "vadná" cesta zabalí do naru na anně
18:36	mornfall	protože můžeš ovlivnit jen nový buildy
18:37	mornfall	když máš zápis do cache, tak můžeš vzít hotový build, dodělat backdoor a vrátit ho
18:38	mornfall	exploit na build znamená že musíš chytnout běžící build, nějak ho chytře zastavit, podstrčit mu soubory do build adresáře...
18:41		Erbureth joined #divine
18:41	xstill	chápu, ale co když ten build je od začátku napsaný s backdoorem?
18:42	xstill	takže potřebujeme aby to ta pheme zabalila a pak poslala anně, která to zapíše do cache?
18:44	mornfall	build zapsaný s backdoorem znamená že někdo hacknul github, nebo to prostě zacommitoval do nixpkgs nějak
18:44	xstill	hm, jo to je fakt, protože pokud si ho vycucám z prstu tak si ho můžu nainstalovat leda sám
18:56	xstill	co je vlastně ten hash který reprezentuje cestu ve store? To není hash těch binárek, že?
18:57	mornfall	ne, to je hash derivace...
18:57	mornfall	teda všechny vstupy a všechny expressiony který se do toho dostanou
18:57	mornfall	(včetně sha256 všech tarballů)
18:57	xstill	takže závislosti, zdrojáky a builder?
19:01	mornfall	j
19:44	mornfall	xstill: potřeboval bych aby dsched-info bylo nějak rozumně strojově čitelné
19:44	xstill	jo, řekni si jak a bude. Ale proč?
19:45	mornfall	když udělám ssh stroj dsched-info tak dostanu docela pekelnej výstup
19:45	mornfall	a všechno na stdout
19:45	xstill	hm jo no, s tím musím něco udělat
19:45	xstill	k čemu chceš použít ten dsched-info?
19:46	mornfall	hm
19:46	mornfall	já to vlastně možná nepotřebuju
19:46		Erbureth joined #divine
19:47	xstill	na hydru by mělo stačit dát do .dschedrc connect-action=create a při odmítnutí spojení jít na další mašinu
20:09	xstill	mornfall: btw. zcela nedokumentované, ale je tam ještě jedno rozhraní, které by bylo možná lepší upravit na strojově čitelné a to je to v příkazu dsched: dsched { avail \| info \| ... }
20:09	xstill	dsched-info je zmíšlené spíš pro uživatele
20:10	xstill	*zamýšlené
20:10	mornfall	ha, to je lepší
20:10	mornfall	problém s tím create teda je, že se to připojuje několikrát
20:11	xstill	hm
20:11	mornfall	(tomu utéct nejde, protože to musí kopírovat vstupy...)
20:14	xstill	pak budeme muset explicitně zavolat ssh 'phemeXX create-group group cpu memory <příkaz>' poprvé a potom ssh phemeXX join-group group
20:14	xstill	a nějak zajistit aby nedošlo ke gc na tu grupu
20:14	xstill	ale jestli je tam scp tak je to asi problém
20:14	mornfall	a aby byla unikátní per build
20:15	mornfall	no, je tam Nix::CopyClosure::copyTo ...
20:15	mornfall	to volá asi ssh nix-store --import nebo tak něco, interně
20:15	xstill	hm, takže to samo staví spojení...
20:15	mornfall	jo to jo
20:15	xstill	to je špatné
20:18	xstill	hm, teoreticky by šlo vytvořit "join-policy" která se bude chovat tak, že dá shell do první prázdné grupy daného uživatele
20:18	xstill	ono pro hydru je jedno která to bude, nemusí to být ta stejná
20:19	xstill	a to pak dát jako další možnou login-action
20:19	xstill	ale říká si to o race
20:20	mornfall	no, není to jedno
20:20	mornfall	akce jednoho buildu musí všechny skončit v jedné grupě
20:21	xstill	no ne (teda pokud neuvažuješ že bys buildům dával různé zdroje), musí platit, že žádné dva buildy nebudou ve stejné grupě ve stejný okamžik
20:22	mornfall	to ale jinak nezaručíš
20:22	mornfall	hm
20:22	xstill	jakto, když tam tomu build dám existující prázdnou grupu
20:22	mornfall	jo, jen ta ti zase může expirovat
20:22	xstill	ta slouží v podstatě jako lock na zdroje, zaručuje že nepříde uživatel a build nebude čekat
20:23	mornfall	ale to asi ber čert
20:23	xstill	jo to je expiraci je třeba vyřešit
20:23	xstill	na co?
20:23	xstill	teda jen co?
20:23	mornfall	tak, když je timeout 10 minut neaktivity tak ať to asi umře když to vyexpiruje
20:24	xstill	timeout jsem teď snížil na minutu ale uvažuju o tom nechat ho nastavitelný v nějakém rozmezí
20:24	mornfall	nech tam minutu
20:25	mornfall	a uděláme to ještě jinak :)
20:25	xstill	nechci aby každé přihlášení uživatele na pheme dělalo blok na 10 minut
20:25	mornfall	potřebuju ale aby create-group dokázalo vyrobit nový unikátní název a vrátit mi ho
20:26	mornfall	já totiž tomu nix-u můžu podstrčit @sshOpts čímž tam to join dostanu
20:26	xstill	noo, budu muset vymyslet jak ho udělat unikátní, ale jinak asi jo
20:26	xstill	jo?
20:26	mornfall	jo, jen musim vědět kam joinovat
20:28	xstill	jasný, stačí když create-group bez parametru vytvoří grupu a vypíše jí na stdout? (s defaultními zdroji/z konfigu)
20:28	mornfall	stačí
20:28	mornfall	pokud teda všechno ostatní bude na stderr
20:28	mornfall	(tzn. hlavně ty user-friendly hlášky :)
20:29	xstill	můžeme klidně říct že tenhle příkaz nepodporuje spuštění programu ani shellu
20:29	xstill	a nevypsat nic jinýho
20:29	mornfall	ok
20:29	xstill	pochybuju, že by to někdo chtěl používat
20:30	xstill	btw. jsem si uvědomil že při connec-action = create je tam race
20:30	xstill	máš nějakej nápad jak generovat jednoznačný identifikátor?
20:31	mornfall	random
20:32	mornfall	když existuje tak regenerovat
20:33	xstill	no jo, ale tam je race
20:33	xstill	hm
20:33	xstill	no může selhat vytvoření
20:33	xstill	nemůže dojít k tomu, že by se to vrátilo dvoum
20:34	xstill	(teda pokud je mkdir v cgrupách atomický)
20:34	mornfall	to snad je :-)
20:34	xstill	doufám, jinak je tam race všude :-D
20:37	xstill	hm, bych taky mohl vyhodit tu závislost na libcgroup, vlastně už ji na nic nepoužívám
20:39	xstill	jo ale ten problém s timeoutem tam furt je
20:40	mornfall	ssh ... stroj join <cgroup> příkaz
20:40	mornfall	jo?
20:40	xstill	asi by bylo dobré aby se dal nastavit na 10 minut a při korektním ukončení build-remote to grupu zrušil
20:41	xstill	join-group
20:41	xstill	ale klidně to předělám
20:46	mornfall	jak se ta groupa zruší?
20:46	mornfall	není problém to udělat
20:47	xstill	pokud je prázdná, tak se dá zrušit, jen je to potřeba dodělat do shellu, a nemůže za tím být příkaz
20:47	mornfall	ideální by bylo něco jako "join <group> dsched destroy" :-)
20:47	mornfall	join-group
20:47	xstill	no nejde jí zrušit "zevnitř"
20:47	mornfall	nj
20:48	xstill	proto to musí být příkaz dsched-shell, dříve než se přidá do grupy
20:48	mornfall	jasně no
20:48	xstill	a pak už nemůže nic udělat, protože nemá kde
20:49	mornfall	jasně
20:49	mornfall	ssh host destroy-group <group>?
20:49	xstill	tak třeba
20:50	mornfall	teď už jen lokální zámky musím dořešit
20:50	mornfall	a pak to nějak otestovat :-)
20:54	xstill	no naštěstí to můžeme nasadit a nikdo snad nebude moc nadávat
20:55	xstill	(leda že by se floránovi zase změnilo písmo v emacs)
20:55	mornfall	:D
20:55	mornfall	emaaaks
20:57	xstill	?
20:57	mornfall	ale nic
20:57	xstill	(to byl podezřelý smích)
20:58	xstill	(nicméně florán by neměl emacs používat, minimálně ne k programování v C++)
20:59	mornfall	proč? :)
21:00	xstill	ani se neptej
21:00	mornfall	... :-)
21:01	xstill	potřeboval by úvod do C++, možná i do C a vůbec
21:01	spito	hehe, on to pořádně neumí?
21:01	mornfall	řekl bych že za tohle výjimečně emacs nemůže :-)
21:01	mornfall	to je otázka kdo to pořádně umí
21:02	xstill	no to jasně že za to emacs nemůže :-D
21:02	xstill	btw na pheme nefunguje teď scp jsem zjistil
21:02	xstill	(teda pokud jsi pod dsched)
21:02	spito	mornfall: tak jasně, ale když tu xstill praví, že by potřeboval úvod do C i C++...
21:05	xstill	jak je možné, že dostávám konflikt prototypů mezi fukcemi které se vůbec nevidí (jedna je lokální v modulu kde ta druhá není importovaná)
21:05	xstill	?
21:06	xstill	aha už vím
21:07	xstill	(člově nesmí zapomenout přejmenovat modul když zkopíruje hlavičku)
21:08	mornfall	jojo :-)
21:08	mornfall	to se mi stalo naposled asi včera nebo předevčírem
21:11	xstill	mornfall: dodělám ten join-group a delete-group raději zítra ráno, chce se mi spát a zítra ještě musím být v 10 na FI
21:16	mornfall	jasně
21:16	mornfall	hlavně nedělej deploy :-)
21:17	mornfall	build-remote teď zcela jistě nefunguje
22:07		spito left #divine

← Previous day | Channels | #divine index | Today | Next day → | Search | Google Search | Plain-Text | summary