Skip to content
Roberto Fronteddu edited this page May 24, 2026 · 5 revisions

Shell

History

  • Ctrl-R to initiate a reverse search
  • history -c linux to clear all commands
  • history -w linux to write history on file usually ~/.bash_history

Changing permissions

First specify which permission set you want to change (user, group, or other), then use a + to add a permission or a - to remove it.

  • u (user/owner)
  • g (group)
  • o (others)
  • a (all: user, group, and others)

Add (+) the execute (x) permission for the user (u) on a file (myfile):

chmod u+x myfile

Remove a permission, use the - operator.

Clone this wiki locally