2018-12-13T18:51Z Bernd: Hallo Erich!
2018-12-13T18:51Z ew: Moin.
2018-12-13T18:52Z Bernd: Heute mit einem anderen Account unterwegs?
2018-12-13T18:52Z ew: Heute lauter rote Buchstaben? Ah ich hab den anderen account erwischt ...
2018-12-13T18:52Z Bernd: So, jetzt ist es der traditionelle Account.
2018-12-13T18:52Z Erich: hier sind die Buchstaben eher grün :-)
2018-12-13T18:53Z Erich: Dann hab ich vorhin wohl 'nen Teppfiehler reingebaut in die SpassfrÄse.
2018-12-13T18:53Z Bernd: Dieser Account kennt halt die Beteiligten.
2018-12-13T18:53Z Bernd: Ich habe gestern mal ein Code-Coverage-Tool für Gforth gebaut.
2018-12-13T18:53Z Erich: was müsste ich tun, um dem "ew" das Vertrauen auszusprechen?
2018-12-13T18:54Z Bernd: Eigentlich reicht, wenn beide im gleichen Chat sind, und sich miteinander unterhalten.
2018-12-13T18:55Z Bernd: Du kannst aber auch den Pubkey des @ew exportieren und beim @Erich importieren, dann ist der @ew definitiv nach oben gerankt
2018-12-13T18:55Z Erich: @ew Du kennst den Roten Hugo?
2018-12-13T18:55Z ew: @Erich der tot im Seil hängt? Klaro.
2018-12-13T18:56Z Bernd: Die anderen müssen sich halt noch hier einfinden, dann bekommen sie ebenfalls Vertrauenspunkte und werden bekannt.
2018-12-13T18:56Z Erich: Alla gut.
2018-12-13T18:56Z ew: Du hast code coverage gespielt? Und, schon schöne schwarze Abraumhalden gefunden?
2018-12-13T18:57Z ew: @Meister: ich bekomme von http://www.forth-ev.de derzeit keine Antwort.
2018-12-13T18:57Z Bernd: Das sieht alles nicht so furchtbar aus.
2018-12-13T18:57Z Bernd: Hallo @Matthias
2018-12-13T18:57Z Matthias: Hi
2018-12-13T18:57Z ew: Hallo Matthias
2018-12-13T18:58Z Bernd: Tja, sieht nicht so arg toll aus. Ich bin mit Gerald nicht zufrieden, der Umzug dauert definitiv zu lang.
2018-12-13T18:58Z Bernd: Der Knabe bastelt lieber an Bitkanonen als am Web ;-)
2018-12-13T18:59Z Matthias: Web kann man auch nicht anfassen. Kann ich verstehen ;)
2018-12-13T19:00Z Bernd: ssh: connect to host forth-ev.de port 22: No route to host
2018-12-13T19:00Z ew: blinken könnt's aber, das web-Zeugs ":=)
2018-12-13T19:00Z Bernd: Was ist da kaputt?
2018-12-13T19:00Z ew: Hat wohl einer dran rumgespielt ...
2018-12-13T19:00Z Bernd: Am was?
2018-12-13T19:01Z Bernd: Am DNS, am Router bei Strato?
2018-12-13T19:01Z Matthias: Die Webseite ist nicht erreichbar
2018-12-13T19:01Z Matthias: (www.forth-ev.de)
2018-12-13T19:01Z Bernd: Nein, der ganze Rechner ist nicht erreichbar.
2018-12-13T19:02Z ew: root@metis:~# host www.forth-ev.de
2018-12-13T19:02Z ew: www.forth-ev.de has address 85.214.243.249
2018-12-13T19:02Z Bernd: Ja, die ist richtig.
2018-12-13T19:02Z ew: aber 'nen ping krieg ich nicht zurück.
2018-12-13T19:02Z ew: From vl500.dcata-b16.as6724.net (85.214.1.22) icmp_seq=21 Packet filtered
2018-12-13T19:02Z Bernd:  6  ae10.0.core-b1.as6724.net (85.214.0.70)  47.691 ms  44.414 ms  45.758 ms
2018-12-13T19:02Z Bernd:  7  vl448.dcata-b16.as6724.net (85.214.0.159)  44.794 ms  25.965 ms  24.713 ms
2018-12-13T19:02Z Bernd:  8  * * *
2018-12-13T19:02Z Bernd:  9  * * *
2018-12-13T19:02Z Bernd: 10  * * *
2018-12-13T19:02Z Bernd: 11  * * *
2018-12-13T19:02Z Bernd: 12  * * *
2018-12-13T19:02Z Bernd: 13  * * *
2018-12-13T19:02Z Bernd: 14  * * *
2018-12-13T19:02Z Bernd: 15  * * *
2018-12-13T19:02Z Bernd: 16  * * *
2018-12-13T19:02Z Bernd: 17  * * *
2018-12-13T19:02Z Bernd: 18  * * *
2018-12-13T19:02Z Bernd: 19  * * *
2018-12-13T19:02Z Bernd: 20  * * *
2018-12-13T19:02Z Bernd: 21  * * *
2018-12-13T19:02Z Bernd: 22  * * *
2018-12-13T19:02Z Bernd: 23  * * *
2018-12-13T19:02Z Bernd: 24  vl500.dcata-b16.as6724.net (85.214.1.22)  24.715 ms !X * *
2018-12-13T19:03Z Bernd: Das sieht ziemlich Meh aus.
2018-12-13T19:03Z Erich: wenn nicht gar yikes!
2018-12-13T19:03Z Bernd: Jemand hat das Internet ausgeschaltet!!!
2018-12-13T19:04Z Erich: neu.forth-ev.de antwortet. Iss leider etwas oll.
2018-12-13T19:04Z Bernd: Das ist ja auch nicht bei Strato.
2018-12-13T19:05Z Bernd: Ich sag' ja, ich bin nicht mit Geralds Performance beim Umzug zufrieden.
2018-12-13T19:05Z Bernd: Hallo @Martin
2018-12-13T19:05Z Bernd: Ich habe den Verdacht, dass mein net2o schneller als Blog verwendbar wird als Geralds neu.forth-ev.de ;-)
2018-12-13T19:05Z Matthias: Hallo Martin!
2018-12-13T19:05Z Martin: Grüß Euch!
2018-12-13T19:06Z Erich: Hallo Martin
2018-12-13T19:06Z Bernd: Die anderen Hosts rund um unseren sind per ping erreichbar, d.h. nur unsere Kiste ist down.
2018-12-13T19:08Z ew: Ich versuch mal fefe zu spielen, weil der das noch nicht kommentiert hat: "Wisst ihr, was wir schon lange nicht mehr hatten? ein Loch in openSSH: https://www.heise.de/security/meldung/OpenSSH-Backdoors-Sicherheitsforscher-entdecken-21-Linux-Malware-Familien-4247775.html und https://www.welivesecurity.com/wp-content/uploads/2018/12/ESET-The_Dark_Side_of_the_ForSSHe.pdf" --- das ist jetzt quasi ein fake-fefe.
2018-12-13T19:09Z Bernd: Ich boote das Ding mal über den Fernzugriff.
2018-12-13T19:09Z ew: Oha, jetzt wird's ernst.
2018-12-13T19:10Z Matthias: Ich drück die Daumen ;)
2018-12-13T19:10Z Martin: me too
2018-12-13T19:10Z Bernd: Packet filtered vom Router klingt aber nicht gut.
2018-12-13T19:10Z Bernd: Hallo @Wolfgang
2018-12-13T19:11Z Wolfgang: Hallo Bernd
2018-12-13T19:11Z Matthias: Hi Wolfgang
2018-12-13T19:11Z Wolfgang: Tach mathias
2018-12-13T19:11Z Erich: Hallo Wolfgang.
2018-12-13T19:11Z Matthias: packet filtered könnte aber auch von einer lokalen Firewall kommen
2018-12-13T19:11Z Martin: BTW Kann man eine ganze Sitzung ortifien, so dass man das nicht jede Zeile wiederholen muss?
2018-12-13T19:11Z Wolfgang: Grüß dich Erich
2018-12-13T19:11Z Bernd: @Martin Nein, so ein Anfang...Ende habe ich da nicht eingebaut.
2018-12-13T19:12Z Bernd: Man muss jede einzelne Message /otrify en.
2018-12-13T19:12Z Erich: Wenn Du Dich schon entschieden hast, dann kannst Du das "einschalten" /otr on
2018-12-13T19:12Z Bernd: Das ist auch ein Sicherheitsfeature: Jede Änderung an der Signatur muss ja wieder signiert werden.
2018-12-13T19:12Z Matthias: Du wirst doch nicht geheime Sachen in einem öffentlichen Chat ausplaudern wollen??
2018-12-13T19:12Z Erich: Alles was dann kommt. ist otr.
2018-12-13T19:13Z Erich: Nee, sowas würden wir nie tun, oder?
2018-12-13T19:13Z Martin: Mal sehen ...
2018-12-13T19:13Z Matthias: Macht aber nichts, ich mach screenshots ;)
2018-12-13T19:13Z Martin: @Erich - wie Du siehst leider (noch) nicht.
2018-12-13T19:13Z Wolfgang: Früher stand alles im WIKI
2018-12-13T19:13Z Matthias: Die kann man hinterher dann mit OCR wieder lesbar machen
2018-12-13T19:14Z Bernd: Im TUI ist das eh alles copy-paste-bar, und im GUI kann man /log 2000 machen oder so.
2018-12-13T19:15Z Martin: :-(
2018-12-13T19:17Z Erich: das mit dem reboot hat anscheinend nixx geholfen, oder denkt der noch nach?
2018-12-13T19:18Z Bernd: Da tut sich gar nichts. Und die Remote-Console finde ich auch nicht, um mal genauer hinzugucken.
2018-12-13T19:18Z Bernd: Der Traffic ist um ca. 13:00 komplett zusammengebrochen.
2018-12-13T19:19Z Matthias: Was das wieder an umsatz gekostet hat...
2018-12-13T19:19Z Bernd: Bekommt Gerald die Rechnung dafür.
2018-12-13T19:20Z Bernd: Schließlich warten wir darauf, dass sein neu.forth-ev.de mal endlich fertig wird.
2018-12-13T19:22Z Bernd: Mal sehen, Rettungssystem booten?
2018-12-13T19:22Z Bernd: Womöglich ist die komplette Uralt-Hardware hin.
2018-12-13T19:23Z Bernd: Oder hat jemand vergessen, die Rechnung zu bezahlen?
2018-12-13T19:23Z Matthias: Ist der echte Hardware?
2018-12-13T19:23Z Bernd: Ein vServer, klar.
2018-12-13T19:23Z Bernd: Aber da ist auch echte Hardware dahinter.
2018-12-13T19:23Z Martin: Alles ist Energie!
2018-12-13T19:23Z Matthias: klar, irgendwann ist immer echte Hardware..
2018-12-13T19:24Z Bernd: Das Rettungssystem kommt anscheinend auch nicht hoch… oder wie lang dauert sowas?
2018-12-13T19:25Z Erich: good question. NeXT!
2018-12-13T19:25Z Bernd: Und vernünftiges Backup gibt es wohl auch nicht mehr…
2018-12-13T19:25Z Bernd: Es sind nur noch das geeklog und die E-Mails drauf.
2018-12-13T19:25Z Matthias: Vielleicht zieht Gerald ja grade eben um ?
2018-12-13T19:26Z Bernd: Gerald zieht gar nichts um, der baut nur sein neues Teil. Wenn das fertig ist, dann ziehe ich ggf. den E-Mail-Server um und schalte den alten Server ab.
2018-12-13T19:26Z ew: Naja, aber zum runterlesen braucht er doch nicht gleich alle aussperren :-)
2018-12-13T19:27Z Matthias: konsistenter Zustand ist immer read-only für alle bis auf einen ;)
2018-12-13T19:27Z Bernd: Ja, aber Gerald bearbeitet nur den Blog-Teil. Das Blog auf read-only setzten wäre jetzt kein Problem.
2018-12-13T19:29Z Bernd: Es gibt als Backup immer das Komplettbackup (Festplattenimage) von Strato.
2018-12-13T19:29Z Bernd: Erstaunlicherweise ist das Ende der Aktivität etwa zeitgleich mit dem heute erstellten Backup…
2018-12-13T19:32Z Erich: Vielleicht doch die Rechnung nicht bezahlt >:->
2018-12-13T19:32Z Erich: final backup ...
2018-12-13T19:32Z Martin: War das nicht Bon Jovi?
2018-12-13T19:32Z Bernd: Ne, dann sollte beim Login in die Konsole irgendwas stehen von wegen „Rechnung nicht bezahlt, blah“
2018-12-13T19:41Z Martin: Eine Frage: Wenn schon genrelles otr nicht geht - wie benutze ich net2o um Euch eine verschlüsselte Mail zu schicken?
2018-12-13T19:41Z Erich: @Martin ""The Final Countdown" is a song by Swedish rock band Europe, released in 1986. Written by Joey Tempest, it was based on a keyboard riff he made in the early '80s, inspired by David Bowie's "Space Oddity". "  https://en.wikipedia.org/wiki/The_Final_Countdown_(song)
2018-12-13T19:41Z Bernd: Generelles otr geht doch. /otr on
2018-12-13T19:42Z Bernd: Und wie du net2o zum verschlüsselte e-mails verschicken nutzen kannst, weißt du längst.
2018-12-13T19:42Z Martin: Hab ich weiter oben probiert ...
2018-12-13T19:42Z Bernd: Und, tat das nicht?
2018-12-13T19:42Z Martin: /ort on 
2018-12-13T19:42Z Bernd: So tut das natürlich nicht ;-)
2018-12-13T19:43Z Bernd: Jetzt verschwinden deine Messages später mal aus dem Log.
2018-12-13T19:43Z Erich: Schnell! Die Knippse!
2018-12-13T19:48Z Matthias: auch da. Zur not mit nem Spezialmicro am Hals
2018-12-13T19:51Z Bernd: BTW: Strato hat Ulli einen Hinweis über Wartungsarbeiten heute geschickt: > Zeitraum für die Wartung: Donnerstag, 13.12.2018, zwischen 17:00 und 19:00
2018-12-13T19:54Z Martin: Auch von mir
2018-12-13T19:55Z Erich: @Martin /otr off ?
2018-12-13T19:56Z Martin: Ganz egoistisch suche ich erst mal (?) nur was für mich.
2018-12-13T19:57Z Martin: Die Überlegung einzelstück versus (Mini)serie.
2018-12-13T20:02Z Matthias: Morsetaste in schwer?
2018-12-13T20:07Z Matthias: /ptr Dadderich wird mit massenträgheit integriert
2018-12-13T20:08Z Matthias: /ort oder sowas hier https://www.youtube.com/watch?v=G5i_TZB8JcM
2018-12-13T20:34Z Matthias: Ich bin dann mal weg...
2018-12-13T20:34Z Matthias: Bis neulich
2018-12-13T20:36Z Bernd: Und den OTR auch.
2018-12-13T20:36Z Bernd: Will noch jemand das coverage-Tool ausprobieren?
2018-12-13T20:38Z Erich: ist das so ähnlich gestrickt wie das hier: http://amforth.sourceforge.net/TG/recipes/Profiler.html ?
2018-12-13T20:39Z Bernd: Genau das Prinzip.
2018-12-13T20:39Z Bernd: Code Coverage setzt solche Profiling-Punkte an alle Stellen im Code, die relevant sind.
2018-12-13T20:39Z Erich: Juhu, dann bin ich ja gar nicht so doof :-)
2018-12-13T20:40Z Bernd: Also Wort-Anfang, und an allen Control-Flow-Joins/Splits.
2018-12-13T20:40Z Erich: Und dann mitzählen, und die, die Null bleiben, sind zu inspizieren.
2018-12-13T20:40Z Bernd: Und dann gibt's noch ein Wort, mit dem man den Quelltext annotieren kann, damit man weiß, welcher Punkt wie weit gezählt hat.
2018-12-13T20:40Z Bernd: Das dann den Quelltext auch grün/rot einfärbt.
2018-12-13T20:42Z Erich: Cool. Die Fuzzy-Tester machen das wohl auch circa so. Da wird der Compiler beauftragt, alle branches schön zu instrumentieren ... 
2018-12-13T20:42Z Bernd: Fuzzing muss dann aber noch an den Testpattern herumdoktern, bis alle Branches auch gefunden werden.
2018-12-13T20:43Z Erich: Klar, umsonst iss nixx.
2018-12-13T20:43Z Erich: Aber die finden auch branches, die du gar nicht einbauen wolltest :-)
2018-12-13T20:43Z Bernd: Bei Hardware kann man das sogar durch rückwärts evaluieren der Logik machen.
2018-12-13T20:43Z Erich: Schick mir das mal. Vielleicht will ich spielen.
2018-12-13T20:44Z Bernd: Das hast du, wenn du ein apt-get upgrade gemacht hast.
2018-12-13T20:44Z Bernd: gforth coverage.fs <andere Quelltexte>
2018-12-13T20:45Z Bernd: Vor dem Laufen lassen dann load-cov, nach dem Beenden save-cov annotate-cov und cov%
2018-12-13T20:45Z Bernd: Letzters gibt einfach die Coverage aus.
2018-12-13T20:46Z Erich: Ok, meckern wegen nicht gefunden tut's nicht.
2018-12-13T20:46Z Bernd: Im Terminal eingegebene Wörter werden nicht erfasst.
2018-12-13T20:46Z Bernd: Also musst du dir irgendwas zum Testen reinladen.
2018-12-13T20:48Z Erich: ok, das erklärt auch gleich das
2018-12-13T20:48Z Erich: annotate-cov cov% 
2018-12-13T20:48Z Erich: *the terminal*:7: error: Division by zero
2018-12-13T20:48Z Erich: :-)
2018-12-13T20:48Z Bernd: Irgendwas solltest du ausführen.
2018-12-13T20:48Z Bernd: Beispiel gforth coverage.fs date.fs
2018-12-13T20:48Z Erich: Schon klar, dann muss ich mir eben was basteln. Nur heute nichtmehr.
2018-12-13T20:48Z Bernd: Dann kannst du 2018 12 17 ymd2day dup . day2ymd . . . machen
2018-12-13T20:49Z Bernd: Und dann .coverage
2018-12-13T20:49Z Bernd: Das gibt das gleich am Terminal aus.
2018-12-13T20:49Z Erich: ok,
2018-12-13T20:49Z Bernd: Da siehst du dann schnell, dass das Test-Beispiel nicht in einem Schaltjahr stattfand.
2018-12-13T20:49Z Bernd: Und auch nicht im Februar.
2018-12-13T20:50Z Erich: Hmm, ja kleine Teile in Rot, rest in Türkis.
2018-12-13T20:51Z Erich: und die "invers" gemalten sind die Zählerstände.
2018-12-13T20:51Z Erich: Hübsch!
2018-12-13T20:51Z Bernd: Genau.
2018-12-13T20:53Z Bernd: Ok, das Date-Programm hat jetzt eine interaktiv ausprobierte komplette Testsuite
2018-12-13T20:53Z Bernd: cov%  100.0% coverage ok
2018-12-13T20:54Z Erich: Nicht schlecht. Nichtsdestotrotz mach ich mich auch vom Acker. Dunkel isses ja auch schon :-)
2018-12-13T20:54Z Erich: Schönen Abend!
2018-12-13T20:54Z Bernd: Ciao!