ubuntu-bengali-manual team mailing list archive
-
ubuntu-bengali-manual team
-
Mailing list archive
-
Message #06373
[Bug 1089394] Re: incorrect format used for a terminal command
** Changed in: ubuntu-manual
Status: Fix Committed => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bengali Manual, which is subscribed to Ubuntu Manual.
https://bugs.launchpad.net/bugs/1089394
Title:
incorrect format used for a terminal command
Status in Ubuntu Manual:
Fix Released
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
References