Re: Bitte APT korrekturlesen
Hallo Sven,
On Wed, May 07, 2008 at 07:35:02PM +0200, Sven Joachim wrote:
> Am 07.05.2008 um 01:54 schrieb Jens Seidel:
>
> >> $"string" in bash-Skripten alles andere als empfehlenswert, siehe
> >> (Info "(gettext)bash").
> >
> > Das verstehe ich nicht. Ich weiß, dass z.B. $"\r\n" als Suchmuster in der bash
> > dienen kann, was anders wohl fast unmöglich ist. Wo ist aber die Relevanz zu APT?
Ah, habe herausgefunden, dass Bash mit $"string" markierte Zeichenketten
zur Übersetzung vorsieht. Ich sah keinen Zusammenhang mit APT, da ich
nicht in den Quelltext der Zeichenkette, d.h. das Shell-Skript geschaut
hatte.
> Das Problem ist, dass der Übersetzer, aus Unachtsamkeit oder böser
> Absicht, Backticks oder $(...)-Konstrukte einfügen und damit für die
> Ausführung beliebigen Codes sorgen kann. Es gibt eine saubere Methode,
> das zu vermeiden, indem man gettext.sh aus dem Paket gettext-base
> verwendet, siehe die Info-Dokumentation zu gettext.
Ja, dies habe ich nachgelesen.
> >> > #: apt-pkg/pkgcachegen.cc:763
> >> > msgid "Collecting File Provides"
> >> > msgstr "Sammle Datei-Empfehlungen ein"
> >>
> >> Ich verstehe zwar nicht, was hier gemeint ist, aber »Empfehlungen«
> >> scheint auf jeden Fall falsch zu sein.
> >
> > "Sammle Liste bereitgestellter Dateien ein"
>
> Das könnte passen. Hast du diese Meldung irgendwann mal in der Praxis
> gesehen?
Nein, gesehen habe ich es nicht (kann mich ehrlich gesagt gar nicht an
viele Zeichenketten von APT erinnern) und sowas ist keine typische
Ausgabe. Ich habe es aus dem Quellcode und den Kommentaren
zusammengereimt.
> > Ich habe die Datei noch nicht fortgeschickt, das werde ich heute im
> > Laufe des Tages machen ...
> > Habe sie nochmal angehangen.
>
> Hast du sie schon eingeschickt oder lohnt es sich, schnell noch einen
> Blick darauf zu werfen?
Siehe Fehler #480002. Ich glaube nicht, dass eine weitere Durchsicht
unbedingt nötig ist, will dich aber nicht abhalten.
Für Änderungen in der nächste Version von apt ist es aber zu spät. Ich
glaube der Termin ist heute, 21:00 +0000?
Jens
Reply to: