Recently I have been fiddling with MATE Desktop, sleek and lightweight. Anyhow, I had some problems with network manager and the companion applet. The applet did not appear on the panel and the application was not working properly. Luckily I found a solution looking on the Ubuntu forum (although I shamefully lost its reference). Here are the steps: on […]
Some time ago I wrote about my experimentations with book printing and binding. In between, I’ve continued my hobby trying with other materials and techniques, even looking for advices and feedbacks from other home-made bookbinders like me and this time I write down how I obtained my favorite and qualitatively-acceptable way to bind a book. From hot-glue to PVA glue In the previous […]
It’s been a while since I bought my iPhone 4 and, in spite of its older brother 3G, its Home Button started feeling the weight of millions of clicks per day. Long story short: using the Home Button’s gestures became a real pain in the… a real pain. Luckly I remembered of having read a […]
I’ve recently bought a new LCD TV for my room. Hippiaye! But wait, what the heck, the remote of the satellite receiver works weirdly, changing 2-3 channels each time I press the prog. button. What’s wrong? IR disturbances Searching a bit on the InterWeb, I found that other people had and still have my same […]
Want to change the font of the terminal in Windows? Write regedit in Windows’s start menu and run it; look for (CTRL+F) the Console/TrueTypeFont key; double-click on the string 00 and change the default font name with your loved one; start a terminal (“cmd”), right click on it, and click on “Properties”. Click on the […]