Posts

Showing posts with the label size

Easier reading via enlarged fonts

The described method should work on even simple desktop environments. If I don't already have an xorg.conf for editing, I first generate it by  Xorg -config xorg.conf.new . To make the screen easier to read, you need to  scale DPI by setting Displaysize in the respective "Monitor" section of xorg.conf proportionally larger than it physically is. A native driver outputs the original image size in Xorg.0.log. You need to type in the real size values times the magnification factor. So if the real active area of your display is 200mm wide and 100mm high and want 1.5x larger text, you insert  Option DisplaySize 300 150 . Unfortunately, not all applications honor this setting. You need to increase the default zoom by hand in  Chromium . You need to update the hexadecimal "LogPixels" dpi setting in ~/.wine/system.reg for  Wine . Otherwise if you are using Gnome, you could also try to increase the text scaling factor with the Gnome Tweak Tool, Universal...

Minification is not enough, you need tree shaking

This is one of the reasons I advocate improving your tools before you start to solve complicated projects. ECMAscript was created in the past millennium for messing around with your cursor and making text blink. Any serious use is a kludge . Big respect for people making superhuman efforts to develop working web applications, but why make your life more difficult than it needs to be? "If I had eight hours to cut down a tree, I would spend six hours sharpening my axe" - attributed to Abraham Lincoln Check out  Minification is not enough, you need tree shaking on Seth Ladd's google engineer's blog

Deleting your swap - the hard way

A default clean install usually doesn't fit me. However, I've installed Ubuntu LTS just like that on this machine when both were new. It has a small but fast SSD. It has been working flawlessly until now. I've recently reconsidered that I could use a bit more space. From experience, I never had a need for swap, as I'm using zram . So I've decided to simply delete the swap partition. Of course, solving it simply was only my dream. Technically, you need to delete the swap partition, optionally move middle partitions to the end, expand your root file system and be done with it. I've first made whole disk backups. I've booted off a flash drive containing Ubuntu 12.10. Deleting the partition with GParted was a breeze, as well as marking the rest of the needed operations, move and resize. But there was a catch: it bailed out with a cryptic message halfway. (I think it was "GNU Parted cannot resize this partition to this size. We're working on it!...

Javascript Logo interpreter

Online JavaScript Logo interpreter some very beautiful and terse Logo examples The following is one of my favorites from there. Hypercube, by Frank Caggiano, U.S.: repeat 8 [repeat 4 [rt 90 fd 100] bk 100 lt 45] edit: You can also find two simple examples of mine at my repository .