Re: Partitionsgrößen ändern

[Manfred Schmitt <expires-131031@slashproc.org>]

Dirk Salva schrieb:

> On Mon, Oct 07, 2013 at 05:44:13PM +0200, Manfred Schmitt wrote:
> > Das kann apt auch selber, siehe http://debiananwenderhandbuch.de/apt.conf.html
> > Da wird von der /etc/apt/apt.conf gesprochen, ich wuerde das eher in 
> > /etc/apt/apt.conf.d/ ablegen.
> > DPkg 
> > {
> >    // Auto re-mounting of a readonly /usr
> >    Pre-Invoke {"mount -o remount,rw /usr";};
> >    Post-Invoke {"mount -o remount,ro /usr";};
> > }
> 
> Mhmm. Lässt sich das so analog auch auf ein ro gemountetes /boot
> anwenden?
> 
Ich hab es nicht ausprobiert sehe aber erst einmal nichts was dagegen 
spricht.
Hm, das DP gross und kg klein geschrieben ist irritiert ja. In der 
manpage zu apt.conf steht es aber auch so.

DPkg 
{
    Pre-Invoke {"cook --espresso --double";};
    Post-Invoke {"send-pics";};
}

Unklar ist mir auch ob man dann 10 doppelte (doppio?) Espressi kriegt 
wenn man 10 Pakete installiert. Das waere dann doch etwas heftig :-)

http://www.kaffee-netz.de/ich-unbedingt-noch-sagen-wollte/20905-espresso-espressi-ital-pluralform-im-deutschen.html

Und wech,
Manne