I’m using GNOME Shell as my default Linux desktop on Ubuntu at the moment, and so far I’m really enjoying it — bar one thing. The main GNOME Shell UI font is not directly changeable. GNOME Tweak Tool lets you change the font family and font size for app windows, interface, and in the terminal, but […]
Random Article You May Like
- Peter Czanik: Parsing web server access logs
If you operate web servers, you want to have insight about your traffic. Traditional solutions to process access logs include: […]Python 2.7.11 release candidate 1 available
The first release candidate of Python 2.7.11, the next release in the 2.7.x series is now available. Please see the […]Python Core Development Sprint 2016: 3.6 and beyond!
From September 5th to the 9th a group of Python core developers gathered for a sprint hosted at Instagram and […]Google 'Motion Stills' Update Lets Users Customize Default Frame of Live Photos
Last year Google launched an app called Motion Stills that fixed a lot of issues that users had — and […]