From c400c37585adc0f521693655fff947e5204074fb Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Sat, 2 May 2020 22:49:56 -0700 Subject: [PATCH] .github/workflows/extract-sage-local.sh: Show df --- .github/workflows/extract-sage-local.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/extract-sage-local.sh b/.github/workflows/extract-sage-local.sh index 3c9683a6769..5c10b28a1f6 100755 --- a/.github/workflows/extract-sage-local.sh +++ b/.github/workflows/extract-sage-local.sh @@ -20,6 +20,7 @@ rm -f sage-local-*.tar # Show what has been built already. ls -l local local/var/lib/sage/installed/ +df -h # Rebase! src/bin/sage-rebase.sh local