User Tools

Site Tools


shell

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Next revisionBoth sides next revision
shell [2011/10/05 16:05] – [Shell commands] ginkoshell [2012/08/07 10:21] ginko
Line 5: Line 5:
   * [[http://penguin.dcs.bbk.ac.uk/academic/unix/linux/shells/index.php|Autre article]]   * [[http://penguin.dcs.bbk.ac.uk/academic/unix/linux/shells/index.php|Autre article]]
   * [[http://cyberzoide.developpez.com/unix/shell.php3|Mémo pas mal fait]]   * [[http://cyberzoide.developpez.com/unix/shell.php3|Mémo pas mal fait]]
 +  * [[shell_builtins|Shell Built-ins]]
  
   * Shells:   * Shells:
Line 131: Line 132:
 ==== Calculs arythémtiques ==== ==== Calculs arythémtiques ====
 <code bash>a=$(($b+$c))</code> <code bash>a=$(($b+$c))</code>
 +==== Manipuler le (x)term ====
 +<code bash># Set window title
 +echo -ne "\033]2;"$m"\007"
 +# In mintty, set the mapping for ANSI colors
 +echo -ne '\e]4;4;#4965D6\a' # blue</code>
  
  
shell.txt · Last modified: 2014/11/14 11:20 by ginko