Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-02-05

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

All times shown according to UTC.

Time Nick Message
02:49 ilbot3 joined #divine
02:49 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
11:51 mornfall xstill: řekl bych žes to docela solidně rozbil ;-) [ 0:00]     /tmp/nix-build-divine-gcc_map_debug_x64-3.2.3+pre5548.drv-0/divine-3.2.3+pre5548/divine/utility/statistics.h: 159: assertion `!!_global()' failed;
12:28 xstill heh, funguje to jen se statistikama, ještě dneska to snad opraví, ale teď ne
14:31 xstill máš tam patch, jen teda nevím proč to failuje i v release
14:32 xstill tam by totiž měly být NoStatistics
14:33 xstill mornfall: ^
14:34 mornfall no v release to segví
14:34 msabo joined #divine
15:00 xstill no to je právě divné, večer na to ještě mrknu
15:50 mornfall xstill: hlavně večer nic nerebootujte (nic = anteu, zejména :)
15:52 msabo joined #divine
15:58 CcxCZ joined #divine
16:16 msabo joined #divine
17:38 xstill jasně
17:38 xstill mornfall: ty jsi říkal, že v pátek dorazíš, nebo ne?
17:46 xstill mornfall: jsi tam?
17:47 xstill mornfall: unix má problémy s našimi ipmi
17:47 mornfall vidim
17:47 mornfall su ve vegalite :)
17:47 mornfall jo budu v Brne, pocitam
17:48 mornfall ale spis bych zjistil co vlany/tagy nez to kabelovat
17:48 mornfall stejne nemame misto na switchi?
17:51 xstill hlavně pheme nemají víc než 1 port
17:57 xstill mornfall: arke nemá 3 síťovky co?
17:59 mornfall ne
17:59 xstill ale vlasně thecus je připojený k anně a antee
17:59 mornfall pheme myslim maji 2 sitovky... i kdyz nevim jiste
18:00 mornfall antea ma taky jen 2
18:00 xstill na to tam není dost portů myslím, pokud jsem něco nepřehlédl
18:00 mornfall nejsou po obou stranach?
18:00 mornfall uz si nepamatuju
18:00 xstill hm, tak to fakt nevím
18:01 xstill aha mají 2 podle systému
18:01 xstill tak nakonec je větší problém, že antea používá teď obě
18:06 xstill máš představu jak zjistit to tagování
18:10 mornfall no ipmitool ti snad neco rekne
18:11 xstill nojo, to jsem zkoumal, jen nevím kde začít
18:11 mornfall lan info tusim?
18:11 mornfall nebo mc info?
18:12 xstill lan print možná
18:13 xstill má to nějaké VLAN ID
18:13 xstill teda  vypnuté
18:13 mornfall notebook asi nepripojim a z mobilu ti moc nepomuzu
18:14 mornfall jo, nevo si pamatuju ale chce to prozkoumat
18:14 xstill jo já to snad nějak zvládnu nebo to stopnem
18:15 xstill ok asi to půjde
18:16 xstill ipmitool lan set vlan id
18:17 mornfall no hlavne zjisti od tomase jedtli to trn switch pak dokaze rozradit
18:17 mornfall ten*
18:18 mornfall jestli*
18:18 xstill to zjistím
19:16 xstill mornfall: tak vlan id fungují, otestováno na pheme01
19:16 mornfall super
19:16 mornfall ani to nebolelo :D
19:17 xstill mě ani ne :-D
19:18 mornfall no, kdyby byl tomas daval pozor tak jsme presne tohle resili kdyz prudili s ssl3
19:18 xstill nojo
19:47 xstill mornfall: ty ipmi na antee/arke měli nějakej problém se vzdáleným přístupem, že?
19:48 mornfall nemyslim proc? jen maj jinej username
19:48 mornfall ADMIN
19:49 xstill jo přesn2 to mi chybělo
19:53 xstill teď běží deploy
19:53 xstill jinak pro tvou informaci, servery a pheme01,02 jsou přehozené včetně ipmi, ostantí bez ipmi. IPv6 bude až napíšeme ty identifikátory nebo co
19:54 xstill a ty ipmi budou taky snad zítra
19:54 xstill (on to Tomáš musel dělat pro každé ručně)
19:55 mornfall kk
19:55 mornfall ja zjistim jestli zvladnrm dhcp6 on jr to dost kram
19:56 mornfall slaac je vyrazne kepdi, ale co uz s nima
19:56 mornfall lepsi*
19:57 xstill jo to domluvíme zítra
20:02 msabo joined #divine
20:06 mornfall msabo: no nazdar, nejaké pokroky?
20:08 msabo nazdar, vieš čo dnes som akosi nemal čas, riešil som iné veci
20:08 msabo ale už by som chcel spraviť tie tikety
20:08 msabo musím
20:11 xstill hm, deploy nějak nechce dojet
20:19 xstill takže tím pádem je samozřejmě rozpopaný nfs a web
20:19 mornfall v jakém smyslu nechce dojet?
20:19 xstill no visí někde v průběhu activate
20:20 xstill krom toho teda pythia05.fi.muni.cz: warning: not applying UID change of user ‘buildfarm’ je trochu podezřelé
20:20 mornfall to máš furt něco :-)
20:21 xstill nojo ale doběhnout by to mohlo
20:21 xstill no ale anna už jede na současné generaci
20:22 xstill ale firewall je pořád blbě
20:22 xstill achjo
20:25 mornfall no ono to visí na autofs
20:25 mornfall logicky
20:25 mornfall deactivating stop-sigterm restart
20:26 xstill hm, no jenže autofs nenajede dokud nedoběhne ten firewall…
20:26 mornfall spíš by mělo skončit než najet
20:26 xstill a jak ho zabít?
20:27 xstill hm, však na anně se mi ho podařilo normálně vypnout
20:28 xstill ručně systemctl stop autofs
20:28 mornfall možná proto že jsem to tam spravil? :P
20:28 xstill to já ovšem nemůžu vědět
20:28 mornfall už by to mohlo dojet
20:28 mornfall snad
20:28 xstill co jsi udělal?
20:28 mornfall pkill automount
20:29 xstill všude?
20:29 mornfall ono je chyba v systemd unitu
20:29 mornfall víceméně
20:29 xstill to probíhající asi nedojede co?
20:29 mornfall ale mohlo by
20:30 xstill nechce se mu moc
20:30 xstill víceméně je třeba i pandora03?
20:30 mornfall pandora ne
20:30 mornfall :)
20:31 mornfall možná bych se mohl připojit na wifinu místo na mobil
20:31 mornfall se divim že to ssh je nějaký extra pomalý
20:32 xstill no visí to na pheme a serverech zdá se
20:36 mornfall řekl bych že to dojelo?
20:36 mornfall nebo jsi to zabil?
20:36 xstill zabil jsem ty čekající
20:36 xstill a pak to dojelo
20:36 xstill nebo nevím
20:36 xstill zjistím
20:39 xstill pheme zdá se najely dobře
20:39 xstill ale anna ne
20:39 mornfall no, home tam mám (anna)
20:39 xstill teď už jo
20:40 mornfall spíš mi asi umřela sešna na arke
20:40 xstill neumřela
20:40 xstill jo sešna
20:40 mornfall hm, on je nějakej jetej nginx furt
20:41 mornfall možná je někde v postgresu nastavená ip adresa
20:41 xstill jako primární weby jedou, ale status už třeba ne
20:41 xstill ani trac
20:41 mornfall jo, to je ten postgres
20:41 mornfall antea.nix:        host  all tracdb 147.251.45.129/32  md5
20:41 xstill aha
20:41 mornfall grep 45 -r * ;-)
20:41 xstill to jsem dělal jen v common
20:42 xstill opravíš to?
20:42 mornfall hm, 129 byla antea?
20:43 mornfall 18 anna, 131 arke?
20:43 mornfall 128 anna
20:43 xstill 128 antea myslím, podívám se
20:43 xstill jo
20:43 mornfall tzn. 129 anna?
20:43 mornfall aha jo chápu
20:44 xstill no
20:44 xstill 129 anna 131 arke
20:44 xstill s/no/jo/
20:45 xstill home už je snad všude
20:45 mornfall snad jo
20:45 mornfall pustil jsem deploy
20:45 xstill (vypnul jsem pythie, kvůli elektřině)
20:45 mornfall jo no
20:48 xstill každopádně teda je to vtipnej den dneska
20:51 xstill no nic, základní služby jednou, jdu domů
20:51 mornfall ok
20:52 mornfall hm, hostname v pg_hba.conf asi nic moc
21:09 xstill co je pg_hba.conf?
21:18 mornfall hm a už vypadla síť
21:18 mornfall takže už to asi nedořeším
21:18 mornfall (arke furt moc nespolupracovala...)
21:18 xstill hm, to je super, že vypadla síť
21:19 xstill v čem nespolupracovala?
21:19 mornfall no, něco tam zůstává viset
21:19 mornfall grub-install podle všeho
21:19 mornfall což je dost divný
21:19 xstill to je no
21:22 mornfall uvidíme ráno
21:22 mornfall do půlnoci čekat nebudu, někdy musim aj spát
21:22 xstill :-D
21:41 xstill jen teda to maj nějak divně zasíťovaný, protože třeba aisa jede
21:41 xstill doufám, že nevypadla serverovna

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