← Back to team overview

ubuntu-manual-bugs team mailing list archive

[Bug 1089394] [NEW] incorrect format used for a terminal command

 

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


Follow ups

References