get_configs.sh : Updated file paths

README.md

@@ -46,7 +46,7 @@ docker ps -a --format='{{.ID}}' | xargs docker stop | xargs docker rm
 # Remove every volumes
 docker volume ls --format='{{.Name}}' | xargs docker volume rm
 # Remove every anonymous images (cached)
-docker images --format='{{.Repository}};{{.Tag}};{{.ID}}' | grep '<none>;<none>' | cut -d ';' -f 3 | xargs docker rmi
+docker images -a --format='{{.Repository}};{{.Tag}};{{.ID}}' | grep '<none>' | cut -d ';' -f 3 | xargs docker rmi
 # Get all used images tag in dir $PATH_ANALYSE
 find $PATH_ANALYSE -name 'Dockerfile*' | while read file; do cat $file; echo ''; done | grep -e FROM | cut -d ' ' -f 2 | sed $'s/[^[:print:]\t]//g' | sort -u | xargs -n1 docker pull
 # Calculate total docker images size
@@ -225,3 +225,27 @@ e2fsck -f $FS
 resize2fs $FS $SIZE
 mount $FS $MOUNT_POINT
 ```
+
+## Creating a Gentoo's patch
+
+### Using diff
+
+```sh
+tar -xvf /var/cache/distfiles/package.tar.xz
+mv package a
+cp -r a b
+# Make your changes to b.
+diff -ur a b > /etc/portage/patches/example-category/example-packagename/my-patch.patch
+```
+
+### Using git
+
+```sh
+tar -xvf /var/cache/distfiles/package.tar.xz
+cd package
+git init
+git add .
+git commit -m "Initial commit"
+# Make your changes
+git diff > /etc/portage/patches/example-category/example-packagename/my-patch.patch
+```

get_configs.sh

@@ -1,7 +1,7 @@
 #!/bin/sh
 
-rsync -v mainpc:~/git/dotfiles/installer/MAINPC.config ~/git/dotfiles/installer/MAINPC.config
-rsync -v streampc:~/git/dotfiles/installer/STREAMPC.config ~/git/dotfiles/installer/STREAMPC.config
-rsync -v frameworklaptop:~/git/dotfiles/installer/FRAMEWORK_LAPTOP.config ~/git/dotfiles/installer/FRAMEWORK_LAPTOP.config
-rsync -v asuslaptop:~/git/dotfiles/installer/ASUS_LAPTOP.config ~/git/dotfiles/installer/ASUS_LAPTOP.config
-cp -v ~/Transfer\ Folder/VIRTUAL.config ~/git/dotfiles/installer/VIRTUAL.config
+rsync -v mainpc:~/dotfiles/installer/MAINPC.config ~/dotfiles/installer/MAINPC.config
+rsync -v streampc:~/git/dotfiles/installer/STREAMPC.config ~/dotfiles/installer/STREAMPC.config
+rsync -v frameworklaptop:~/dotfiles/installer/FRAMEWORK_LAPTOP.config ~/dotfiles/installer/FRAMEWORK_LAPTOP.config
+rsync -v asuslaptop:~/git/dotfiles/installer/ASUS_LAPTOP.config ~/dotfiles/installer/ASUS_LAPTOP.config
+cp -v ~/Transfer\ Folder/VIRTUAL.config ~/dotfiles/installer/VIRTUAL.config

pull.sh

@@ -29,8 +29,11 @@ for directory in ../*; do
 	log_git_pull "$directory"
 done
 
+log_git_pull "$HOME"/git/lean4game/games/alexkontorovich/realanalysisgame
 log_git_pull "$HOME"/git/lean4game/games/djvelleman/stg4
+log_git_pull "$HOME"/git/lean4game/games/emilyriehl/reintroductiontoproofs
 log_git_pull "$HOME"/git/lean4game/games/hhu-adam/robo
 log_git_pull "$HOME"/git/lean4game/games/jadabouhawili/knightsandknaves-lean4game
 log_git_pull "$HOME"/git/lean4game/games/leanprover-community/nng4
 log_git_pull "$HOME"/git/lean4game/games/trequetrum/lean4game-logic
+log_git_pull "$HOME"/git/lean4game/games/zrtmrh/linearalgebragame