Git-Mirrors/DivestOS
1
0
Fork 0
mirror of https://github.com/Divested-Mobile/DivestOS-Build.git synced 2025-05-02 14:36:17 -04:00
Code Issues Projects Releases Packages Wiki Activity

Record current checkouts

Browse source 
Signed-off-by: Tavi <tavi@divested.dev>
This commit is contained in:
Tavi 2024-04-10 08:15:58 -04:00
parent e1e6d55cc6
commit e7de509de5
No known key found for this signature in database
GPG key ID: E599F62ECBAEAF2E
8 changed files with 6159 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Scripts/Common/Functions.sh
View file

@ -25,6 +25,7 @@ resetWorkspace() {
umask 0022;
if [ "$1" == "local" ]; then local noNetwork="--local-only"; fi;
repo forall -c 'git add -A && git reset --hard' && rm -rf out DOS_PATCHED_FLAG && repo sync --jobs-network=6 --jobs-checkout=12 --force-sync --detach $noNetwork;
repo forall -v -c 'echo "$REPO_PATH $(git rev-parse HEAD)"' | sort -u > "$DOS_WORKSPACE_ROOT/Logs/resetWorkspace-$DOS_VERSION.txt";
}
export -f resetWorkspace;