saundersp/scripts
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Compare commits

base: saundersp:9b9ef5e5a95022615a371d40d2d7dbd16a7950b3
Branches Tags
saundersp:main
..
compare: saundersp:8b0c287f9df4b24df1eed78ec9f24dd22ce12bae
Branches Tags
saundersp:main

4 Commits
9b9ef5e5a9 ... 8b0c287f9d

Author SHA1 Message Date
saundersp
8b0c287f9d get_configs.sh : Updated file paths 2026-01-27 18:43:14 +01:00
saundersp
300641c290 README.md : Added "Creating a Gentoo's patch" notes 2026-01-27 18:38:48 +01:00
saundersp
9f01c694df README.md : Fixed remove docker anonymous images command 2026-01-27 18:37:51 +01:00
saundersp
a39c279d80 pull.sh : Added lean4 games realanalysisgame, reintroductiontoproofs and linearalgebragame 2026-01-27 18:35:40 +01:00
3 changed files with 33 additions and 6 deletions
Expand all files Collapse all files

26
README.md
View File

@@ -46,7 +46,7 @@ docker ps -a --format='{{.ID}}' | xargs docker stop | xargs docker rm
# Remove every volumes # Remove every volumes
docker volume ls --format='{{.Name}}' | xargs docker volume rm docker volume ls --format='{{.Name}}' | xargs docker volume rm
# Remove every anonymous images (cached) # 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 # 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 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 # Calculate total docker images size
@@ -225,3 +225,27 @@ e2fsck -f $FS
resize2fs $FS $SIZE resize2fs $FS $SIZE
mount $FS $MOUNT_POINT 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
```

10
get_configs.sh
View File

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

3
pull.sh
View File

@@ -29,8 +29,11 @@ for directory in ../*; do
log_git_pull "$directory" log_git_pull "$directory"
done 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/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/hhu-adam/robo
log_git_pull "$HOME"/git/lean4game/games/jadabouhawili/knightsandknaves-lean4game 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/leanprover-community/nng4
log_git_pull "$HOME"/git/lean4game/games/trequetrum/lean4game-logic log_git_pull "$HOME"/git/lean4game/games/trequetrum/lean4game-logic
log_git_pull "$HOME"/git/lean4game/games/zrtmrh/linearalgebragame