New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
sage -t tests/cmdline.py creates junk file logs/pkgs/sqlite.log #22062
Comments
comment:1
I believe that the log file is created by the line
Indeed, running diff --git a/src/bin/sage b/src/bin/sage
index cb3b611..3fb83ac 100755
--- a/src/bin/sage
+++ b/src/bin/sage
@@ -844,14 +844,19 @@ install() {
continue;;
esac
- PKG_NAME=`echo "$PKG" | sed -e "s/\.spkg$//"`
- PKG_NAME=`basename "$PKG_NAME"`
-
- sage-logger \
- "sage-spkg $INSTALL_OPTIONS '$PKG'" "$SAGE_LOGS/$PKG_NAME.log"
- # Do not try to install further packages if one failed
- if [ $? -ne 0 ]; then
- exit 1
+ if [[ $INSTALL_OPTIONS == *"-info"* ]]; then
+ # Just print the info, don't write a log file.
+ sage-spkg --info "$PKG" || exit $?
+ else
+ PKG_NAME=`echo "$PKG" | sed -e "s/\.spkg$//"`
+ PKG_NAME=`basename "$PKG_NAME"`
+
+ sage-logger \
+ "sage-spkg $INSTALL_OPTIONS '$PKG'" "$SAGE_LOGS/$PKG_NAME.log"
+ # Do not try to install further packages if one failed
+ if [ $? -ne 0 ]; then
+ exit 1
+ fi
fi
done
# Display a message if we actually installed something (using this |
comment:4
This might also be addressed by #30649, although I haven't tested that. |
comment:6
This has indeed now been fixed, so I propose closing this. |
Reviewer: Michael Orlitzky |
As reported on sage-release:
creates file
... which is not a log file at all.
CC: @jdemeyer @slel @tornaria @mkoeppe
Component: scripts
Reviewer: Michael Orlitzky
Issue created by migration from https://trac.sagemath.org/ticket/22062
The text was updated successfully, but these errors were encountered: