shell
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
shell [2011/10/05 16:05] – [Shell commands] ginko | shell [2012/08/07 10:21] – ginko | ||
---|---|---|---|
Line 5: | Line 5: | ||
* [[http:// | * [[http:// | ||
* [[http:// | * [[http:// | ||
+ | * [[shell_builtins|Shell Built-ins]] | ||
* Shells: | * Shells: | ||
Line 131: | Line 132: | ||
==== Calculs arythémtiques ==== | ==== Calculs arythémtiques ==== | ||
<code bash> | <code bash> | ||
+ | ==== Manipuler le (x)term ==== | ||
+ | <code bash># Set window title | ||
+ | echo -ne " | ||
+ | # In mintty, set the mapping for ANSI colors | ||
+ | echo -ne ' | ||
shell.txt · Last modified: 2014/11/14 11:20 by ginko