It’s pretty obvious, that me maintaining the debian kernel repository which I announced in this post is a lot of work as I offer up to 4 flavors – which are ‘vanilla’, ‘vm’ and both for the gentoo patchset, I had to improve my setup. First of all, the introduction of ccache did shave off a few seconds […]
Tag: script
Bash files vs configuration
You guys know me, I do script a lot of stuff to make my life easier. Starting from my (smart)home to my server maintenance – it just saves too much time. And today I would like to share some ideas on how (not?) to work with configuration stuff in bash. First of all: Configuration on some scripts may […]
Clickable shell scripts
I am working quite a lot using shell scripts to make my work easier and a few of them are even on my desktop to perform some one click actions. Sadly this doesn’t work on my mac as it just gets opened in an editor, ignoring the executable bit (chmod +x). That drives me crazy. So what’s the […]
A hint for you windows users out there
I was fixing another windows box those days and I was forced to check the fragmentation, which was the biggest blocker on that system, disregarding the user and the fact that the system got more than one windows partition. So I came up with a little trick, using defrag.exe from shell: %windir%\system32\defrag.exe -f c: %windir%\system32\defrag.exe -f d: %windir%\system32\defrag.exe […]