Standard escape codes are prefixed with Escape:
- Ctrl-Key:
^[ - Octal:
\033 - Unicode:
\u001b - Hexadecimal:
\x1B - Decimal:
27
Jakob Odersky jodersky
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| set -e | |
| # | |
| # Git read-only remote cache for SSH. | |
| # | |
| # This script is to be used as a shell for a dedicated Git user. Each time a | |
| # clone/pull is attempted on the cache, it will either: | |
| # * fetch everything from the remote if it has already been cloned, or | |
| # * attempt to clone the remote. |