Skip to content

Instantly share code, notes, and snippets.


Mauricio Sánchez mauricios

Block or report user

Report or block mauricios

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
mauricios /
Last active Mar 3, 2019
Install OpenShift in Amazon Linux 2
# Configure variables
# Install Docker
sudo yum install docker -y
sudo usermod -aG docker ec2-user
# Add insecure registry to Docker

Generate the GPG key pair

gpg --full-generate-key;

Export public GPG key

Look for your Key ID in using the following command:

View aplyca-email-signature.markdown
View vim_powers
- Search and replace: :%s/foo/bar/g
- Delete text block: ma + d'a
- Macro: qd, <commands>, then q, apply with @d and @@
- Write as sudo: :w !sudo tee %
- Increase/Decrease number: Ctl+A Ctl+X
mauricios /
Created Jan 8, 2018
Text manipulation commands
!# /bin/bash
# Replace string in all files in a directory (macOS)
grep -Rnl "include:" **/*.yml | xargs sed -i "" 's/include:/include_tasks:/g'
mauricios /
Last active Dec 28, 2017
Migrate Git repo from one remote to another
# Clone the old repo using the mirror option
git clone --mirror
# Enter the new clonned repo directory
cd my-old-repo.git
# Add the new remote repo
git remote add new_origin
mauricios / hyper.js
Last active Dec 25, 2018
Hyper terminal preferences
View hyper.js
module.exports = {
config: {
fontSize: 14,
fontFamily: '"Fira Mono", Menlo, "DejaVu Sans Mono", Consolas, "Lucida Console", monospace',
cursorColor: 'cyan',
cursorShape: 'BEAM',
cursorBlink: false,
foregroundColor: '#ffffff',
backgroundColor: '#000000',
borderColor: '#000000',

Resize AWS EBS Disk partition

The following commands are rquiered to expoand a partition and resize the file system of an EBS volume. Those steps work in EBS volumes including root volumes and can be done while they are attached to a running instance (zero downtime)

Check the size of the partition

df -H
mauricios / curl_time_format.txt
Last active Dec 18, 2018
CURL format file to summarize loading times results of a page
View curl_time_format.txt
Content Type: %{content_type}\n
HTTP Code: %{http_code}\n
HTTP Connect: %{http_connect}\n
Number Connects: %{num_connects}\n
Number Redirects: %{num_redirects}\n
Redirect URL: %{redirect_url}\n
Size Download: %{size_download}\n
Average speed download: %{speed_download}\n
Size Upload: %{size_upload}\n
SSL Verify: %{ssl_verify_result}\n
mauricios /
Last active Oct 14, 2017
Varnish useful commands
# Check configuration file
sudo varnishd -C -f /path/to/default.vcl -p vcl_dir=/path/to/vcl_dir
# Ban/Purge a URL
sudo varnishadm "ban ~ ^<hostname>$ && req.url ~ ^<url>$"
# Change configuration
## Show list of configurations
You can’t perform that action at this time.