incorrect format used for a terminal command

[Sylvie Gallet]

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

[Mehmet Atif Ergun (mehmetaergun)]

seems to have been fixed. /troubleshooting/troubleshooting.tex :230