Linux
Ander lettertype voor Linux-desktop
Ik wil op mijn Linux-desktop het standaardlettertype overal veranderen, maar kan geen instelling vinden om dat te doen. Is daar een manier voor?
MicroSD-kaart, usb-stick of ssd als opstartmedium voor server?
Wat voor opstartmedium kun je het beste gebruiken voor een mini-pc als Linux-server? We noemen voor- en nadelen van elk opstartmedium en geschikte producten.
Bouw een back-up-pc onder Linux met Resilio Sync
Het installeren van Resilio Sync onder Linux is niet moeilijk. In het simpelste geval is een Raspberry Pi voldoende. Er zijn zelfs eigen repository’s voor Raspbian en andere Linux-distributies in het...
Fucking Fast File-manager voor de Linux-commandline
De Fucking Fast File-manager, oftewel fff, neemt het snelle navigeren via de Linux-commandline over en kan bestanden batchgewijs hernoemen.
GNU Rush voor inperken shell-mogelijkheden
Met GNU Rush kun je op een Linux-systeem de mogelijkheden van de shell doelgericht inperken en bepalen wie welke commando’s mag uitvoeren.
Grondig iets wissen onder Arch Linux
Ik heb onder Arch Linux een service geïnstalleerd die niet goed meer werkt. Kan ik die service en alle bestanden verwijderen en weer met een schone lei beginnen? Bij Debian weet ik dat dit met apt-get...
Pine64 Linux-smartphone van 150 dollar dit jaar verkrijgbaar
Hardwaremaker Pine64 geeft aan dat zijn Linux-smartphone ergens dit jaar in de handen van gebruikers moet belanden. De smartphone gaat KDE Plasma draaien en slechts 150 dollar kosten.
