Public bug reported: Hi,
I think that this string https://translations.launchpad.net/ubuntu- manual/precise-e2/+pots/ubuntu-manual/fr/1717/+translate is incorrect. It reads: "sudo update-grub" (type=terminal) But I think it should read: "\prompt \userinput{sudo update-grub}" This would make it appear in bold in the pdf, like the other command "\prompt \userinput{gksudo gedit /etc/default/grub}" just a few lines above it. Same problem in the quantal version. Best regards, Sylvie ** Affects: ubuntu-manual Importance: Undecided Status: New -- You received this bug notification because you are a member of Ubuntu Manual Bugs, which is subscribed to Ubuntu Manual. https://bugs.launchpad.net/bugs/1089394 Title: incorrect format used for a terminal command Status in Ubuntu Manual: New Bug description: Hi, I think that this string https://translations.launchpad.net/ubuntu- manual/precise-e2/+pots/ubuntu-manual/fr/1717/+translate is incorrect. It reads: "sudo update-grub" (type=terminal) But I think it should read: "\prompt \userinput{sudo update-grub}" This would make it appear in bold in the pdf, like the other command "\prompt \userinput{gksudo gedit /etc/default/grub}" just a few lines above it. Same problem in the quantal version. Best regards, Sylvie To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu-manual/+bug/1089394/+subscriptions _______________________________________________ Mailing list: https://launchpad.net/~ubuntu-manual-bugs Post to : [email protected] Unsubscribe : https://launchpad.net/~ubuntu-manual-bugs More help : https://help.launchpad.net/ListHelp
