[07:37] jpjacobs: bedankt nog voor de tip van die irssi plugin revolve.pl [10:03] Goede middag. [15:30] hoi [15:30] Hallo bramgn [15:31] hoe is het? [15:31] Gaat lekker, hoe is het met jou? [15:32] idem :) [15:33] het kan altijd 50 mbit sneller, maar ik mag ook niet klaagen [15:34] intressante discussie, lordievader, parted [15:34] Zeker, maar ik ben het er ergens wel mee eens dat parted eigenlijk niet gebruikt moet worden om fs'en aan te maken. [15:35] gdisk dan? [15:36] Meer parted gebruiken om een partitie te maken en mkfs gebruiken om er daadwerkelijk een fs op te zetten ;) [15:49] Ik probeer een Linux-programma te compileren in Windows met CYGwin, maar dat gaat telkens fout omdat er een spatie zit in mijn home-directory. Weet iemand hoe ik met cygwin mijn home-directory kan veranderen van /home/Paul Achternaam naar /home/Paul_Achternaam ? [15:51] Geen idee, maar misschien is er een #cygwin kanaal waar ze dat kunnen beantwoorden? [15:53] bedankt bramgn, ik heb het op de cygwin pagina gevonden: http://cygwin.com/faq.html#faq.setup.name-with-space [16:00] PaulH_: ah, mooi === Jackson is now known as Guest51871 [16:44] Hallo ik vroeg me af of je Linux over windows XP kan zetten [19:46] hoi