Friday, June 26, 2015

Configuring Apt to use a HTTP proxy without proxying HTTPS

This may seem like an odd and extremely niche thing to post about, but I could not find this information ANYWHERE when I was looking, so I wanted to share it.

Have you ever wanted to configure the Ubuntu/Debian Apt system to use an HTTP proxy, but NOT an HTTPS proxy? It's harder than it sounds, because Apt will automatically copy your Acquire::HTTP::Proxy setting over to the Acquire::HTTPS::Proxy setting if it's unset.

I discovered that Apt does not consider an empty string to be a setting, so you cannot override the HTTPS option with it.

However after much grief, I discovered that a string containing whitespace does get counted as a valid setting, and also, doesn't get used as an invalid proxy setting. Phew!

So to sum up, this is the configuration you want in /etc/apt.conf.c/proxy

Acquire::HTTP::Proxy "";
Acquire::HTTPS::Proxy " ";

Note the space between quote marks!

Monday, February 16, 2015

2015-02-16 Raspberry Ubuntu release

I've updated the Raspberry Ubuntu image again.
This version includes:
* automatically resize sd card at first boot
* add rpi-update and raspi-config scripts
* add videocore libraries
* updated kernel, fixed memory split
* disable linaro's autologin
* Load appropriate sound module at boot
* add wpagui for wifi configuration
* Change cpu governer to "performance"
* remove xscreensaver

As before, grab it by bittorrent from
Mirrors hosting it faster will probably appear sooner if you check the Raspberry Pi forums.

Tuesday, February 10, 2015

I've made a new version of my Ubuntu for Raspberry Pi 2:
New features:
* hostname is now "raspberry".
* fbturbo driver for X improves performance slightly.
* LXDE graphical desktop installed.
* changed persistent NIC names to have Raspbian-like behaviour.

Saturday, February 7, 2015

Ubuntu / Linaro image for Raspberry Pi 2 using ARMv7/armhf

I've rolled an Ubuntu 14.10 / Linaro 15.01 "developer" image for the Raspberry Pi 2.
Key points here are that it's compiled for ARMv7 and ARMHF, so should be faster than the Raspbian image by some amount. And it'll have more recent versions of software because that version of Ubuntu is significantly newer than Debian Wheezy!
I don't have anywhere good to host the image, so it's only available by bittorrent on my limited ADSL upstream, but once a few people are on that it'll speed up the download.
This is a pretty basic image -- it doesn't have a desktop environment installed for instance -- but it's otherwise working fine.
New version available: See latest blog post for details.
Another new version: