Also see the original Pieter Noordhuis's guide
You need:
- Raspberry Pi Model B (or B+) with a MicroSD Card $35-40
- An RTL-SDR dongle:
| brew install vagrant qemu | |
| #Due to dependency errors, we must install vbguest first.. | |
| vagrant plugin install vagrant-vbguest | |
| vagrant plugin install vagrant-qemu | |
| #cd to working dir you like to keep your vagrant files | |
| cd ~/VM-and-containers/VagrantMachines/M1-vagrantfiles/ubuntu18-generic-64/ | |
| #Create a vagrant file | |
| $EDITOR Vagrantfile |
| " Vim syntax file | |
| " Language: Todo | |
| " Maintainer: Huy Tran | |
| " Latest Revision: 14 June 2020 | |
| if exists("b:current_syntax") | |
| finish | |
| endif | |
| " Custom conceal |
Also see the original Pieter Noordhuis's guide
You need:
| # If you don't remember the exact path/name, search the log for deleted files | |
| git log --diff-filter=D --summary | grep delete | |
| # Find the file you want to get from the ouput, and use the path | |
| # Find the commits that involved that path | |
| git log --all -- some/path/to/deleted.file | |
| # Bring the file back to life to the current repo (sha commit of parent of commit that deleted) | |
| git checkout shaofthecommitthatdeletedthefile^ -- some/path/to/deleted.file |