Use the command line man. Eclipse hides the settings directory. A really good idea would be to add .settings to your global ignore list.