ICT: Diary
D: 28 W: 05
| < | June 2020 | > | ||||
| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | 5 | 6 | |
| 7 | 8 | 9 | 10 | 11 | 12 | 13 |
| 14 | 15 | 16 | 17 | 18 | 19 | 20 |
| 21 | 22 | 23 | 24 | 25 | 26 | 27 |
| 28 | 29 | 30 | ||||
[ < ]
Friday, 12 June 2020 [ >
]
pwnagotchi
Building bettercap was failing with:
/usr/lib/go-1.11/pkg/tool/linux_arm/link: running gcc failed: fork/exec /usr/bin/gcc: cannot allocate memory to get round this use the pre built releases from bettercap releases. The sha256 file is for the unzipped bettercap file.
PineTime
Lup Yuen Lee has some great PineTime resources.
See also InfiniTime
git
Create and switch to new branch:
git checkout -b main master
Push the main branch, and track:
git push -u origin main
Delete local master branch:
git branch -d master
Update the HEAD on the origin:
git symbolic-ref HEAD refs/heads/main
Delete remote master branch:
git push --delete origin master
Prune the unwanted branch:
git remote update --prune origin
Fix dangling heads…
git remote set-head origin -a
This will move the main branch to main.
For reference see: easily rename your Git default
git branch -m master maingit branch -u origin main
Was getting lots of errors trying to delete the old branch - turns out you need to edit the HEAD file in the bare repository on the remote server to point to main.
BLM
Choice of descriptions do matter. Renamed my git branches.
$Id: dates.htm,v 1
$Id: diary,v 1.38 2025/01/01 22:43:54 fred Exp $