(from GitLab Commit at KubeCon : One Layer Builds (Docker Not Included), by Jason Plum https://gitlab.com/WarheadsSE and Will Christensen)
* use FROM Scratch, instead of FROM <distro>
* Explore each layer of a docker image
https://github.com/wagoodman/dive
* use Buildah : http://buildah.io/ "A tool that facilitates building OCI container images."
https://github.com/sharkdp/bat
https://github.com/koalaman/shellcheck
check-scripts:
# Fail if any of these files have warnings
shellcheck myscripts/*.shscript:
# Fail if any of these files have warnings
- shellcheck myscripts/*.shhttps://www.mimuw.edu.pl/~alx/konstruowanie/ACSL-by-Example.pdf
https://frama-c.com/
https://frama-c.com/html/documentation.html
https://frama-c.com/2016/11/22/Frama-C-and-ACSL-are-on-GitHub.html
http://why3.lri.fr/doc/starting.html
Lors du recensement canadien auquel j'ai eu a participer cette année, je suis tombé sur cette liste d'exemples d'origines ethniques ou culturelles, et en particulier pour la liste des origines autochtones j'ai trouvé cela intéressant.
Note : il est surement possible de retrouver cela quelque part sur le site canada.ca
Exemples d'origines ethniques ou culturelles
Les exemples d’origines ethniques ou culturelles comprennent (sans toutefois s’y limiter) ce qui suit :
Origines autochtones
Origines qui réfèrent à des pays
Autres origines ethniques ou culturelles
box breathing or four-square breathing.
Here's how it works:
Following pegasus revelations, I decided to play a bit with the tool provided by Amnesty International Security Lab in July 2021.
Forensics, long time no see !
Sources : https://github.com/mvt-project/mvt
Doc : https://docs.mvt.re/en/latest/android/download_apks.html
Pretty strait-forward, once you have ADB installed on your computer.
the following steps are for and android phone + mac OS laptop
Step 0 : set your phone in "developper mode". For me I had to go to the settings and press 7 times on the release logo.
Step 1 : plug your phone in USB, enabling USB debugging https://developer.android.com/studio/debug/dev-options#enable%3E
Step 2 : install ADB
brew install android-platform-tools
Check that you see your device, and then stop adb (not required after).
adb devicesadb kill-server
Step 3 : install mvtpip3 install mvtStep 4 : run mvt over your phone
mkdir output && mvt-android download-apks --output ./output --all-checks
Atlassian galaxy of plugins : which plugins to AVOID at all cost
https://confluence.atlassian.com/jirakb/known-major-problems-with-3rd-party-apps-in-jira-946618564.html
General Electric Washer / Washing machine / laveuse
GE Model# WCVH4800K2WW
"hydro heater"
SERVICE MODE access : signal, extra-rinse, signal, extra-rinse
SERVICE MODE options :
SERVICE MODE controls :
* Service Modes : https://www.youtube.com/watch?v=Gb56yOZhb_M
Error codes meaning (service mode t02):
* Tech Sheet : https://www.manualslib.com/manual/765140/Ge-Wcvh4800k.html?page=54#manual (link to page 54 with error codes)
Context
as I recently had to switch computer, I see that I forgot to save some settings from the previous one, and of course, I don't have it anymore...
Useful apps I'm using :
Package manager for mac os x : https://brew.sh/
https://shauninman.com/day-o/datetime.html
EEE h:mm a (z), dd MMM y (w)
https://apps.apple.com/us/app/copyclip-clipboard-history/id595191960?mt=12
I had been using aquamacs recently,
this time lets try https://emacsformacosx.com/
NB: I'm looking for an alternative to this one...)