Skip to content

Instantly share code, notes, and snippets.

View MartinPaulo's full-sized avatar

Martin Paulo MartinPaulo

View GitHub Profile
@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.

###Notes for working with Screen and devstack...

# to join the screen session:
./rejoin-stack.sh 
# to the list of current screen sessions:
screen -list
# another way to join:
screen -r

to get help:

@MartinPaulo
MartinPaulo / DevstackVagrant.md
Last active May 31, 2020 17:00
Devstack IceHouse in a Vagrant box...

Boxing devstack with Vagrant...

The simplest way is to install the latest version of Vagrant Then just follow the instructions given by Christian Berendt in his blog entry: http://www.cberendt.de/2014/04/an-other-vagrant-box-with-devstack-and-ubuntu-14-04/ (you might want to reduce the memory and the number of CPU's, dependent on your hardware - also, don't forget the warning about waiting for 10+ minutes once you have fired the whole thing up)

To install a specific branch of devstack

These are the steps I followed to install the icehouse branch of devstack into a Vagrant controlled VM