mirrors/Firefox-UI-Fix
1
Fork 0
mirror of https://github.com/black7375/Firefox-UI-Fix.git synced 2025-12-06 02:30:54 -08:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix: Install - Git quiet option

Browse source
This commit is contained in:
alstjr7375 2022-04-22 16:41:37 +09:00
parent b1bd85d869
commit 4221cee30a
2 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
install.ps1
View file

@ -740,7 +740,7 @@ function Apply-CustomFile() {
Copy-Item -Path "${customFile}" -Destination "${targetPath}" -Force Copy-Item -Path "${customFile}" -Destination "${targetPath}" -Force
} }
else { else {
git --git-dir "${gitDir}" --quiet checkout HEAD -- "${targetPath}" git --git-dir "${gitDir}" checkout HEAD -- "${targetPath}"
} }
} }
if ( "${customAppend}" -eq $true ) { if ( "${customAppend}" -eq $true ) {
@ -894,7 +894,7 @@ function Restore-File() {
) )
if ( "${gitDirty}" -eq $true ) { if ( "${gitDirty}" -eq $true ) {
git --git-dir "${gitDir}" checkout stash pop git --git-dir "${gitDir}" checkout stash pop --quiet
} }
} }

4
install.sh
View file

@ -712,7 +712,7 @@ apply_custom_file() {
if [[ "${targetPath}" == *"user.js" ]]; then if [[ "${targetPath}" == *"user.js" ]]; then
\cp -f "${profilePath}/chrome/user.js" "${targetPath}" \cp -f "${profilePath}/chrome/user.js" "${targetPath}"
else else
git --git-dir "${gitDir}" --quiet checkout HEAD -- "${targetPath}" git --git-dir "${gitDir}" checkout HEAD -- "${targetPath}"
fi fi
fi fi
if [ "${customAppend}" == "true" ]; then if [ "${customAppend}" == "true" ]; then
@ -852,7 +852,7 @@ file_restore() {
local gitDir=$1 local gitDir=$1
local gitDirty=$2 local gitDirty=$2
if [ -n "${gitDirty}" ]; then if [ -n "${gitDirty}" ]; then
git --git-dir "${gitDir}" --quiet stash pop git --git-dir "${gitDir}" stash pop --quiet
fi fi
} }