Skip to content

Instantly share code, notes, and snippets.

@ederchrono
ederchrono / gh-cli-config.md
Last active October 19, 2021 14:54
Github CLI config

Eder's Github CLI setup and preferences

  1. Install the Github CLI
  2. Optionally install gitopen to go to your repo's remote, this works even on non Github repos
  3. Optionally run the following line to set an alias for new PRs: gh alias set newpr 'pr create', I like this more than the default

Usage

If you want to go to the web of your repo run:

@ederchrono
ederchrono / code-gen-links.md
Last active November 30, 2021 15:13
Code Generators talk, interesting links

From zero to product page

This is a collection of links and snippets for the workshop.

index.html

<!DOCTYPE html>
<html lang="en">
@ederchrono
ederchrono / search-and-destroy.sh
Created November 29, 2018 15:51
Look for the process that is using a port and kill it
# look for process id
lsof -t -i:`port`
# kill process
kill -9 `process-id`

Keybase proof

I hereby claim:

  • I am ederchrono on github.
  • I am ederdiaz (https://keybase.io/ederdiaz) on keybase.
  • I have a public key ASB2OU1hVx1XT5znmkiz590tHnbGMzMtzTFlV8aB8ARAxwo

To claim this, I am signing this object:

@ederchrono
ederchrono / clean-branches
Created November 22, 2018 03:04
Cleans the local branches to have only the remote active branches
git fetch -p && for branch in `git branch -vv | grep ': gone]' | awk '{print $1}'`; do git branch -D $branch; done