Reset origin to commit
git log
git reset --hard <commit-hash>
git push --force origin master
Reset origin to commit
git log
git reset --hard <commit-hash>
git push --force origin master
Removing intermediate images left over from multiple builds
docker rmi $(docker images -a --filter=dangling=true -q)
Removing stopped containers
docker rm $(docker ps --filter=status=exited --filter=status=created -q)
The set
lines
set -euxo pipefail
is short for:set -e
set -u
# Define where to store the generated certs and metadata. | |
DIR="$(pwd)/tls" | |
# Optional: Ensure the target directory exists and is empty. | |
rm -rf "${DIR}" | |
mkdir -p "${DIR}" | |
# Create the openssl configuration file. This is used for both generating | |
# the certificate as well as for specifying the extensions. It aims in favor | |
# of automation, so the DN is encoding and not prompted. |
This notes is written by Sheldon. You can find me with #iOSBySheldon in Github, Youtube, Facebook, etc.
Convert .mov/.MP4 to .gif
As a developer, I feel better to upload a short video when I create the pull request to show other viewers what I did in this PR. I tried .mov format directly got after finishing recording screen using Quicktime, however, gif offers preview in most web pages, and has smaller file size.
This is not limited to developer, anyone has this need can use this method to convert the files.