Skip to content

Instantly share code, notes, and snippets.

View elalemanyo's full-sized avatar

victor elalemanyo

View GitHub Profile
elalemanyo /
Last active May 25, 2024 15:16
Debug zsh startup time

Debug zsh startup time

  1. Inject profiling code

    At the beginning of your .zshrc add following: zmodload zsh/zprof

    and at the end add: zprof

    This will load zprof mod and display what your shell was doing durung your initialization.

elalemanyo / ampify_img.php
Last active August 27, 2021 12:33
Make img AMP-ready
* Replace img tag with amp-img
* <amp-img src="[src]"
* width="[width]"
* height="[height]"
* layout="responsive"
* alt="[alt]">
* </amp-img>
elalemanyo / .postgres-version
Created February 12, 2021 19:52
Check rails postgres version
elalemanyo /
Created September 21, 2020 10:11
Deploy to travis
"request": {
curl -s -X POST \
-H "Content-Type: application/json" \
-H "Accept: application/json" \
-H "Travis-API-Version: 3" \
-H "Authorization: token [travis token]" \
elalemanyo /
Created October 12, 2018 12:09
Moving commits to a new branch

WARNING: This method works because you are creating a new branch with the first command: git branch newbranch. If you want to move commits to an existing branch you need to merge your changes into the existing branch before executing git reset --hard HEAD~3

git branch newbranch 
git reset --hard HEAD~3
git checkout newbranch
elalemanyo /
Last active October 11, 2018 17:38
Recompile Heroku
git commit --allow-empty -m "empty commit"
git push heroku master


git commit --amend -C HEAD
git push heroku master
elalemanyo /
Created September 23, 2018 19:07
Assign the .local Domain to Your Raspberry Pi

Assign the .local Domain to Your Raspberry Pi

sudo apt-get install avahi-daemon

Once the installation process is complete, you don’t even have to reboot the device. Your Raspberry Pi will begin immediately recognizing local network queries for its hostname (by default “raspberrypi“) at raspberrypi.local.

elalemanyo /
Last active September 23, 2018 12:23
Headless Raspberry PI + SSH + Wifi (Raspbian Stretch)

1. Burn the Raspbian image to the SD card

2. Enable ssh

For security reasons, ssh is no longer enabled by default. To enable it you need to place an empty filed named ssh (no extension) in the root of the boot disk. touch /Volumes/boot/ssh

3. Add network info

Create a file in the root of boot called: wpa_supplicant.conf. Then paste the following into it:

elalemanyo / .bashrc
Created August 21, 2018 14:47
Run line "starting with" inside travis.yml
travis() {
command=$(grep -oP "(?<=- )$1.*" .travis.yml);
echo -e "\e[1;32mRunning: $command\e[0m\n";
eval $command;
elalemanyo / .aliases
Created February 20, 2018 13:27
# -------------------------------------------------------------------
# Drush
# -------------------------------------------------------------------
# alias drush6='/www/drush6/vendor/bin/drush'
# alias drush='/www/drush7/vendor/bin/drush'
# alias drush8='/www/drush8/vendor/bin/drush'
# -------------------------------------------------------------------
# Clear