| #!/bin/bash | |
| # Check if command was ran as root. | |
| if [[ $(id -u) -eq 0 ]]; then | |
| echo "The command \"sphp\" should not be executed as root or via sudo directly." | |
| echo "When a service requires root access, you will be prompted for a password as needed." | |
| exit 1 | |
| fi | |
| # Usage |
| # Set GPG_TTY environment variable | |
| export GPG_TTY=$(tty) |
| # In order for gpg to find gpg-agent, gpg-agent must be running, and there must be an env | |
| # variable pointing GPG to the gpg-agent socket. This little script, which must be sourced | |
| # in your shell's init script (ie, .bash_profile, .zshrc, whatever), will either start | |
| # gpg-agent or set up the GPG_AGENT_INFO variable if it's already running. | |
| # Add the following to your shell init to set up gpg-agent automatically for every shell | |
| if [ -f ~/.gnupg/.gpg-agent-info ] && [ -n "$(pgrep gpg-agent)" ]; then | |
| source ~/.gnupg/.gpg-agent-info | |
| export GPG_AGENT_INFO | |
| else |
| lines with $ are commands | |
| ### install mkvtoolnix: | |
| $ brew install mkvtoolnix | |
| ### list content of the mkv-file: | |
| $ mkvmerge -i mymoviefile.mkv | |
| ### what will give you: |
Google Chrome Developers says:
The new WOFF 2.0 Web Font compression format offers a 30% average gain over WOFF 1.0 (up to 50%+ in some cases). WOFF 2.0 is available since Chrome 36 and Opera 23.
Some examples of file size differences: WOFF vs. WOFF2