Welcome to the badgerports 8.04 Ubuntu Repository

What is on badgerports?

badgerports contains several software packages for use with Ubuntu Linux 8.04. Whilst on the whole it is a good idea to use the software provided with your Linux distribution, there are sometimes bugs or major software updates that cannot be included for operational reasons. badgerports is a home for a number of wayward software packages, to enhance the Ubuntu experience.

The primary purpose of badgerports is to provide recent versions of the Mono framework, and associated packages such as F-Spot, Banshee, and Monodevelop. Suggestions for other packages to include are welcome, but don't be offended if I decline for whatever reason.

How do I use badgerports?

First, download a copy of the archive's GPG key from here, or obtain it yourself (key ID DFC2AFC1).

Next, launch Software Sources (System, Administration, Software Sources) and navigate to the Authentication tab. Click "Import Key File" and select the key file from earlier.

Click on the "Third Party Software" tab, click "Add", type the following line, then click "OK":

deb http://directhex.mfgames.com/ hardy main

Now, click the "Close" button to enable all badgerports packages.

Who is responsible for badgerports?

badgerports is maintained by Jo Shields, and hosted by Moonfire Games. Package compilation is provided by the Launchpad PPA system.

Please prefix all subject lines with "badgerports: " so I can see them in amongst the spam.

Which packages are provided, exactly?

Source Packagebadgerport Version
cli-common0.6.2~dhx1
debhelper7.0.13ubuntu1~dhx1
gluezilla2.0-1~dhx1
gnome-do0.8.1-0~hardy~dhx1
gnome-do-plugins0.8.1.1-0~hardy~dhx1
libgdiplus2.0-1~dhx1
mod-mono1.9-1~dhx1
mono1.9.1+dfsg-6~dhx1
mono-basic2.0+dfsg-1~dhx1
mono-tools1.9-2~dhx1
monodoc1.9-2ubuntu1~dhx1
tangerine0.3.0+dfsg-2+dhx1
webkit1.0.1-4~dhx1
webkit-sharp0.2-1~dhx1
xsp1.9.1-3~dhx1

How many people use badgerports?

Monthi386 usersamd64 userslpia users
July 20084888957
August 200860951228
September 200872241488
October 2008987123990
November 2008640714821
December 20085355108912
January 20095049118921
February 20094675106341
March 20094965106443