Skip to content

Instantly share code, notes, and snippets.

View MartinPaulo's full-sized avatar

Martin Paulo MartinPaulo

15 followers · 7 following
View GitHub Profile
@MartinPaulo
MartinPaulo / bash_strict_mode.md
Created January 27, 2025 22:09 — forked from vncsna/bash_strict_mode.md
set -e, -u, -o, -x pipefail explanation

set -e, -u, -o, -x pipefail

The set lines

  • These lines deliberately cause your script to fail. Wait, what? Believe me, this is a good thing.
  • With these settings, certain common errors will cause the script to immediately fail, explicitly and loudly. Otherwise, you can get hidden bugs that are discovered only when they blow up in production.
  • set -euxo pipefail is short for:
set -e
set -u
@MartinPaulo
MartinPaulo / parachute.py
Last active February 23, 2021 22:01 — forked from adithyabsk/parachute.py
NASA Perseverance Parachute Code
"""Python Script to solve the perseverence parachute
code
Output:
DARE¿¿¿¿
MIGHTY¿¿
THINGS¿¿
34°11'58'' N 14°118'10'' W
"""
@MartinPaulo
MartinPaulo / git.migrate
Created August 10, 2018 04:31 — forked from niksumeiko/git.migrate
Moving git repository and all its branches, tags to a new remote repository keeping commits history
#!/bin/bash
# Sometimes you need to move your existing git repository
# to a new remote repository (/new remote origin).
# Here are a simple and quick steps that does exactly this.
#
# Let's assume we call "old repo" the repository you wish
# to move, and "new repo" the one you wish to move to.
#
### Step 1. Make sure you have a local copy of all "old repo"
### branches and tags.