| # fancy (magenta + green + blue) | |
| PS1='${STY+\[\e[1;35m\](${STY#[0-9]*.})\[\e[0m\] }\[\e[1;32m\]\u@\h\[\e[0m\]:\[\e[1;34m\]\w\[\e[0m\] \$ ' | |
| # fancy (magenta + red + blue) | |
| PS1='${STY+\[\e[1;35m\](${STY#[0-9]*.})\[\e[0m\] }\[\e[1;31m\]\u@\h\[\e[0m\]:\[\e[1;34m\]\w\[\e[0m\] \$ ' | |
| # regular | |
| PS1='${STY+(${STY#[0-9]*.}) }\u@\h:\w \$ ' |
Make a directory somewhere to be used as base directory for the busybox-w32 stuff itself (eg. C:\Tools\busybox). The busybox-start.cmd script would be useful to start an interactive command line from the desktop.
busybox-start.cmd (see below)
busybox/ (base dir)
busybox.exe(https://frippery.org/files/busybox/busybox.exe)
busybox64.exe(https://frippery.org/files/busybox/busybox64.exe)
| # POST a JSON file and redirect output to stdout | |
| wget -q -O - --header="Content-Type:application/json" --post-file=foo.json http://127.0.0.1 | |
| # Download a complete website | |
| wget -m -r -linf -k -p -q -E -e robots=off http://127.0.0.1 | |
| # But it may be sufficient | |
| wget -mpk http://127.0.0.1 | |
| # Download all images of a website |
| // ==UserScript== | |
| // @name My Custom Fixed Font in Gmail | |
| // @namespace https://mail.google.com | |
| // @include https://mail.google.com/* | |
| // @icon https://ssl.gstatic.com/ui/v1/icons/mail/favicon.ico | |
| // @run-at document-start | |
| // @description My Custom fixed-font in Gmail messages | |
| // @version 1.4.1 | |
| // @license CC0; https://creativecommons.org/publicdomain/zero/1.0/ | |
| // @author Me and Marcin Rataj (original), Martin Baranski (tweaks) |