ignore permission errors copying from tar to FAT

diff --git a/install-extras.sh b/install-extras.sh
index 00802098e36e02f93f017ae40560596ccf8067ea..a1cd54cf8ebe72046cf1e0a9a3d82a3ad965afc6 100755 (executable)
--- a/install-extras.sh
+++ b/install-extras.sh
@@ -165,7 +165,7 @@ wget 'https://media.libreplanet.org/mgoblin_media/media_entries/2799/lp2023-jupi
 ### 
 
 
-tar -C $DEVTMP/source/ --no-same-owner -xvf $TAR
+tar -C $DEVTMP/source/ --no-same-owner -xvf $TAR || true
 
 
 ###