big fix (i hope...)

langs/asm/run.sh

@@ -5,10 +5,10 @@ TEMP="$(mktemo --suffix .o)"
 cat > "$IN"
 
 nasm -felf64 "$IN" -o "$TEMP"
-if [ -f $TEMP ]; then
+if [ -f $TEMP ] && ! [ -s $TEMP ]; then
   ld "$TEMP" -o "$OUT"
 fi
 
-if [ -f $OUT ]; then
+if [ -f $OUT ] && ! [ -s $OUT ]; then
     exec "$OUT"
 fi

langs/c/run.sh

@@ -2,6 +2,6 @@ OUT="$(mktemp)"
 
 gcc -o "$OUT" -xc -
 
-if [ -f $OUT ]; then
+if [ -f $OUT ] && ! [ -s $OUT ]; then
   exec "$OUT"
 fi

langs/cpp/run.sh

@@ -2,6 +2,6 @@ OUT="$(mktemp)"
 
 g++ -o "$OUT" -xc++ -
 
-if [ -f $OUT ]; && ! [ -s $OUT ]; then
+if [ -f $OUT ] && ! [ -s $OUT ]; then
   exec "$OUT"
 fi

langs/csharp/run.sh

@@ -5,6 +5,6 @@ cat > "$IN"
 
 mcs -out:"$OUT" "$IN"
 
-if [ -f $OUT ]; then
+if [ -f $OUT ] && ! [ -s $OUT ]; then
   mono "$OUT"
 fi

langs/fortran/run.sh

@@ -5,6 +5,6 @@ cat > "$IN"
 
 gfortran -o "$OUT" "$IN"
 
-if [ -f $OUT ]; then
+if [ -f $OUT ] && ! [ -s $OUT ]; then
   exec "$OUT"
 fi

langs/fsharp/Dockerfile

@@ -4,5 +4,4 @@ RUN wget -c https://packages.microsoft.com/config/debian/12/packages-microsoft-p
 RUN yes | dpkg -i packages-microsoft-prod.deb
 RUN rm packages-microsoft-prod.deb
 RUN apt-get update
-RUN apt-get install dotnet-sdk-8.0 dotnet-runtime-8.0 -y
-RUN dotnet workload update
+RUN apt-get install dotnet-sdk-8.0 dotnet-runtime-8.0 -y

langs/fsharp/run.sh

@@ -2,4 +2,4 @@ IN="$(mktemp --suffix .fsx)"
 
 cat > "$IN"
 
-dotnet fsi "$IN"
+dotnet fsi --quiet "$IN"

langs/pascal/run.sh

@@ -5,6 +5,6 @@ cat > "$IN"
 
 fpc -l- -v0 -o"$OUT" "$IN"
 
-if [ -f $OUT ]; then
+if [ -f $OUT ] && ! [ -s $OUT ]; then
   exec "$OUT"
 fi