[00:09] <roadstar> !over
[00:09] <MwanzoBot> Meer informatie over wat wij hier doen, kan je vinden op deze webpagina: http://wiki.ubuntu-nl.org/community/mwanzo
[21:18] <Cees> QEMU is ook leuk http://wiki.ubuntu-nl.org/community/Qemu
[21:28] <Cees> dit is wel "handig" maar gksudo totaal overbodig toch? https://help.ubuntu.com/community/UsingTheTerminal?action=diff&rev1=66&rev2=67#An_extremely_handy_tool_::_Incremental_history_searching
[21:29] <Cees> sry , link is https://help.ubuntu.com/community/UsingTheTerminal#An_extremely_handy_tool_::_Incremental_history_searching
[21:30] <OerHeks> hoezo gksudo overbodig ?
[21:32] <Cees> is een user setting
[21:33] <Cees> in ~/.huppeldepup
[21:40] <OerHeks> ik begrijp je niet eigenlijk :(
[21:41] <OerHeks> als je een gegeven opdracht terug kan halen, pak je gksudo/sudo mee, en als deze niet time-out is, werkt het zonder je password nogmaals in te vullen
[21:41] <OerHeks> *alsof je het opnieuw tiept
[21:49] <Cees> Ik bedoel gedit  ~/.inputrc kan ook zonder gksudo
[21:49] <Cees> in https://help.ubuntu.com/community/UsingTheTerminal#An_extremely_handy_tool_::_Incremental_history_searching
[21:49] <OerHeks> owww ja, dat snap ik, het is een file in je /home/
[21:50] <Cees> yep
[21:51] <Cees> kende het niet maar best handig hoor
[21:51] <OerHeks> idem met bash_history
[21:51] <Cees> (dat is voor ieders eigen oordeel)
[21:52] <Cees> lijkt als geval "gksudo werkt altijd"
[21:52] <OerHeks> hmm ja, maar als je onder gksudo iets wijzigd, en dan wil openen zónder, wat gebeurt er dan ?