Split id, usermod. Eclipse keyboard shortcuts

Author: cirosantilli

README.md

@@ -103,6 +103,11 @@ Media video, games, etc.) file types, viewers, editors, capture, synthesizers:
 - [Markup](markup/): Markdown, RST. Focus on command line interface and extensions.
 - [Video](video.md): videos, films, subtitles.
 
+User operations:
+
+- [id](id.md)
+- [usermod](usermod.md)
+
 Generic data formats:
 
 - [JSON](json.md)

eclipse.md

@@ -27,29 +27,89 @@ Install Eclipse as a regular user, not as root or via package managers like `apt
 
 Preferences, settings are under Window > Preferences
 
+### Line wrapping
+
+<http://stackoverflow.com/questions/2846002/does-eclipse-have-line-wrap>
+
+Hard is possible, soft is notoriously not.
+
+### Project preferences
+
+On the package explorer, click on the project and hit `Alt + Enter` or go File > Properties.
+
+From there you can do things like:
+
+- set how the project is run (`F12`), e.g. passing command line arguments to the program or to the VM.
+
 ## Keyboard shortcuts
 
 General > Keys
 
+Navigate in editor and its tabs:
+
+- 	`F3`: open definition in a new tab
+
+- 	`Alt left`: go to the last location. May jump between lines and change tabs.
+
+- 	`Ctrl + Shift + T`: find class definition (Type). Does a sort of Fuzzy search for capital letters.
+
+- 	`Ctrl + Shift + R`: find files.
+
+- 	`Ctrl + H`: search for Java things. Allows you to select classes, methods, fields, etc.
+
+- 	`Alt + Shift + Q + XXX`: focus on many different things depending on `XXX`
+
+    - `P`: Package Explorer
+
+- 	`Alt + Shift + X + XXX`: run things
+
+    - `J`: Java. Runs the `main` of the file.
+
+- 	`Ctrl + T`: show a popup with type hierarchy of current class file. You can then click on the classes to jump to them.
+
+- 	`Ctrl + Shift + Down/Up`: move to the next / previous class member
+
+Navigate across editor and other widgets:
+
+- 	`Ctrl + M`: Toggle maximize current window.
+
+- 	`F12`: focus editor
+
+Edit:
+
+- 	`Ctrl + /`: toggle single line comment
+
+- 	`Ctrl + Alt + J`: toggle single line comment
+
+Misc:
+
+- 	`F12`: run program. How it gets run is defined under the project properties.
+
+## Non-keyboard stuff
+
+- 	Jump to overridden method: a little triangle appears to the left of the method.
+
+	<http://stackoverflow.com/questions/3771934/eclipse-navigate-to-inheritor-base-declaration>
+
 ## Plugins
 
 ### Install
 
 Install and search plugins through the Eclipse Marketplace.
 
-From the IDE: Help > Eclipse Marketplace
+From the IDE: Help > Eclipse Marketplace ... note the very intuitive placement under Help.
 
 The website: <http://marketplace.eclipse.org/>
 
 ### Good plugins
 
 Add Vim like editing to eclipse: <http://vrapper.sourceforge.net/update-site/stable>.
 
-C and C++: #http://download.eclipse.org/tools/cdt/releases/indigo/
+C and C++: <http://download.eclipse.org/tools/cdt/releases/indigo/>
 
 Python: <http://pydev.org/updates>
 
-HTML, Javascript, PHP: <http://download.eclipse.org/webtools/repository/indigo/>
+HTML, JavaScript, PHP: <http://download.eclipse.org/webtools/repository/indigo/>
 
 #### LaTeX
 
@@ -72,14 +132,34 @@ Parses git configure files as key value pairs and shows them on Eclipse. Doesn't
 
 <http://vrapper.sourceforge.net/home>
 
+### StartExplorer
+
+<https://github.com/basti1302/startexplorer>
+
+Open file explorer or shell on given folder from Package Explorer.
+
+Custom commands: go to Preferences > StartExplorer > Custom Commands.
+
+You can use variables as described at: <http://basti1302.github.io/startexplorer/help/05_custom_commands.html>
+
+E.g., start Guake here:
+
+	guake -n "${resource_loc}"
+
+No bindings for custom commands yet: <https://github.com/basti1302/startexplorer/issues/5>
+
 ### Color themes
 
+#### Editor color theme
+
 Best place to find color themes: <http://eclipse-color-theme.github.com/update>. It already comes with many color themes.
 
-The best way is to install the Color Theme plug-in and install new plugins with General > Appearance > Color Theme
+The best way is to install the Eclipse Color Theme plug-in and install new plugins with General > Appearance > Color Theme
+
+Otherwise to install `.epf` themes: File > Import > Preferences > Select *.epf
 
-Otherwise to install epf themes: File > Import > Preferences > Select *.epf
+Vibrant Ink is a good choice as usual.
 
-Good dark theme: <http://www.eclipsecolorthemes.org/?view=theme&id=7915>
+#### GUI color theme
 
-For the GUI, Appearance > Classic worked best for Ubuntu Unity.
+For the rest of the GUI besides the editor, Appearance > Classic worked best for Ubuntu Unity.

file.md

@@ -1,11 +1,10 @@
 # file
 
-POSIX 7
+POSIX 7: <http://pubs.opengroup.org/onlinepubs/9699919799/utilities/file.html>
 
 Attempts to determine file type and retrieve metadata.
 
-This is in general impossible,
-but program makes good guesses.
+This is in general impossible, but program makes good guesses.
 
     echo a > a
     file a
@@ -14,6 +13,8 @@ Output:
 
     a: ASCII text
 
+As you can see it is a good quick and dirty way to determine file encoding: <http://superuser.com/questions/301552/how-to-auto-detect-text-file-encoding>
+
 ## L
 
 Follow links:

id.md

@@ -0,0 +1,32 @@
+# id
+
+POSIX 7: <http://pubs.opengroup.org/onlinepubs/9699919799/utilities/id.html>
+
+Shows user and group ids and names.
+
+Show all info for a given user:
+
+    u='root'
+    id "$u"
+
+For current user:
+
+    id
+
+Effective user ID:
+
+    id -u
+
+Effective username:
+
+    id -un
+
+Real user ID:
+
+    id -ur
+
+Same but for groups:
+
+    id -g
+    id -gn
+    id -gr

usermod.md

@@ -0,0 +1,28 @@
+# usermod
+
+shadow-utils package.
+
+Add or remove users to groups.
+
+If you are the user, you have to logout/login again for changes to take effect.
+
+Change primary group of user `u` to `g`:
+
+    g=1000
+    sudo usermod -g "$g" "$u"
+
+Sets exactly the supplementary groups of user `u`. Remove from non listed ones:
+
+    sudo usermod -G "$g" "$u"
+
+Append (-a) groups `g` to supplementary groups of user `u`:
+
+    sudo usermod -aG "$g" "$u"
+
+Change home directory of user `u` to `d`. The old contents are not moved:
+
+    sudo usermod -d "$d" "$u"
+
+Also move home directory contents to the new home:
+
+    sudo usermod -md "$d" "$u"

utils.sh

@@ -2130,39 +2130,6 @@
 
       who
 
-  ## id
-
-    # POSIX 7.
-
-    # Shows user and group ids and names.
-
-    # Show all info for a given user:
-
-      u=root
-      id "$u"
-
-    # For current user:
-
-      id
-
-    # Effective userid:
-
-      id -u
-
-    # Effective username:
-
-      id -un
-
-    # Real userid:
-
-      id -ur
-
-    # Same but for groups:
-
-      id -g
-      id -gn
-      id -gr
-
   ## whoami
 
     # Print effective user name:
@@ -2300,36 +2267,6 @@
       g=
       sudo groupadd $g
 
-  ## usermod
-
-    # Add/remove users to groups
-
-    # If you are the user, you have to logout/login again for changes to take effect.
-
-    # Change primary group of user u to g:
-
-      usermod -g $g $u
-
-      g=1000,1001
-
-    # Sets exactly the supplementary groups of user u.
-    # Remove from non listed ones:
-
-       usermod -G $g $u
-
-    # Append (-a) groups g to supplementary groups of user u:
-
-       usermod -aG $g $u
-
-    # Change home dir of user u to d.
-    # The old contents are not moved:
-
-       usermod -d $d $u
-
-    # Also move his current dir contents to new dir:
-
-      usermod -md $d $u
-
   ## passwd
 
     # File that holds usernames and key account options,