Compare commits

..

No commits in common. "7cf80cd152516081e975398d1f885a4790c016b3" and "f9b5f6b33b77f5970322c7c74079c44c1f7b584d" have entirely different histories.

2 changed files with 1 additions and 5 deletions

View File

@ -39,7 +39,6 @@ find $PATH_ANALYSE -name "Dockerfile*" | while read file; do cat $file; echo "";
# Calculate total docker images for each metrics
docker images --format {{.Size}} | grep MB | cut -d M -f 1 | paste -sd+ | bc
docker images --format {{.Size}} | grep GB | cut -d G -f 1 | paste -sd+ | bc
docker images --format {{.ID}} | xargs -n1 docker inspect | jq '.[0]["Size"]' | paste -sd + | bc | format_bytes_str
```
## Remove every user R packages
@ -182,10 +181,7 @@ root hard nofile 64000
## Verify a PGP Signature
```bash
mkdir /home/$USER/.XDG/data/gnupg
chmod 700 /home/$USER/.XDG/data/gnupg
gpg --import $PUBLIC_KEY
chmod 600 /home/$USER/.XDG/data/gnupg/$PUBLIC_KEY
gpg --verify $SIGNATURE.sig $FILE
```

View File

@ -8,6 +8,6 @@ for d in *; do
# git pull
# git gc
# git clean -fx
git status -s
git status
cd ..
done