Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

15
  • 1
    Why should this fix it? Also, you made a few misspells in the answer.
    – Avamander
    Commented Jun 5, 2016 at 21:52
  • It is because problems in system settings is usually caused by system corruption and above steps does a fresh install of ubuntu desktop removing all corruption. Here the problem is with software properties and in this way the problem will be resolved.
    – rancho
    Commented Jun 5, 2016 at 21:57
  • 2
    apt won't work here, the OP has 14.04, this would requier apt to be installed, use apt-get on anything but 16.04 questions.
    – Mark Kirby
    Commented Jun 6, 2016 at 9:20
  • 2
    @Timoteo I'd suggest trying Xubuntu or Kubuntu instead of Mint. Or if you really like Cinnamon then install it on an Ubuntu install.
    – Avamander
    Commented Jun 8, 2016 at 12:26
  • 1
    This thread is now ten days old, and may have dropped off the AskUbuntu radar, but I can post an update: I just spent almost an hour typing with an external keyboard attached via the USB port, and didn't get double keys once. -- May I safely assume that the problem is with the Precision 7710's relationship with the OS, and not with the OS itself?
    – Timoteo
    Commented Jun 19, 2016 at 2:38