Linux – How to disable the keyboard shortcut for menu in Linux Mint 13

Simply edit your /etc/profile file with ie, nano:

sudo nano /etc/profile

and at the end of the file add

http_proxy="http://user:password@foo_server:port"
https_proxy="http://user:password@foo_server:port"
ftp_proxy="http://user:password@foo_server:port"
export http_proxy ftp_proxy https_proxy

where foo_server is your proxy server, and port is the port you need to connect to your proxy server.

To check if the new settings are in use simple use type source /etc/profile and you can then check that the server is in use with (install curl if you don't have it yet)

curl icanhazip.com

that should return your proxy server's address.

Software like git, ssh, telnet, will tend to ignore those settings and use their own, I know that there are several utilities for ssh that allow you to do that. There wont be a unique, works for all way of doing it.

Maybe separate questions, regarding each service you want to use is a better option than asking for a global way of making it work, the short answer here would be: there is no global way.

What DID work for me, was this (care of the Ubuntu forum, "SOLVED bash keyboard shortcuts"):

In gnome-terminal, go to Edit -> Keyboard Shortcuts and check "Disable all menu access keys (such as Alt+f to open File Menu)".

It carries over between terminal sessions, and the general menu shortcut key (default F10) is still enabled and will get you straight into the file menu.