Aptconf Manual


Table of Contents
Introduction
Using Aptconf
Known Bugs and Limitations
Authors
License

Introduction

Aptconf is a Debian package that allows users to configure their apt sources.list file through a debconf interface. It also provides a GUI interface through the configlet system that can be plugged into the GNOME Control Center, as well as other interfaces.

It also allows you to save and print theorem proofs and to add comments to the proofs it produces.

Most users will see aptconf within the GNOME Control Center, under Debian. You can also get to it by selecting Settings->Debian->Configure APT Repositories from the Programs menu, or typing aptconf-configlet-capplet on the command line.

Aptconf is included in the aptconf package, which is part of the Debian GNU/Linux operating system. This document describes version 0.3 of aptconf, focusing on the configlet interface.