-// $Id: apt.conf,v 1.22 1999/01/31 06:24:46 jgg Exp $
+// $Id: apt.conf,v 1.23 1999/01/31 08:49:39 jgg Exp $
/* This file is an index of all APT configuration directives. It should
NOT actually be used as a real config file, though it is a completely
valid file.
- In some instances involing filenames it is possible to set the default
+ In some instances involving filenames it is possible to set the default
directory when the path is evaluated. This means you can use relative
paths within the sub scope.
PromptAfterUpdate "no";
}
+DPkg {
+ Options {"--force-downgrade";}
+ Pre-Invoke {"mount -o remount,rw /usr";};
+ Post-Invoke {"mount -o remount,ro /usr";};
+}
+
/* Options you can set to see some debugging text They corrispond to names
of classes in the source code */
Debug {