From fe12dba59caecc169c742b89ce90fb21f80696cd Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Sun, 18 Jun 2023 00:04:14 +0200
Subject: [PATCH] remove etc/diskspace/clean-old-stack-libs.sh

[skip ci]
---
 etc/diskspace/clean-old-stack-libs.sh       | 13 -------------
 etc/diskspace/remove-old-stack-work-libs.hs |  0
 2 files changed, 13 deletions(-)
 delete mode 100755 etc/diskspace/clean-old-stack-libs.sh
 mode change 100644 => 100755 etc/diskspace/remove-old-stack-work-libs.hs

diff --git a/etc/diskspace/clean-old-stack-libs.sh b/etc/diskspace/clean-old-stack-libs.sh
deleted file mode 100755
index d2080b38..00000000
--- a/etc/diskspace/clean-old-stack-libs.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/bash
-
-set -e
-
-if [ $# != 1 ]; then
-    echo "Usage: $0 [nightly|lts-xx]"
-    exit 1
-fi
-
-cd ~/stackage/automated/work/$1/unpack-dir/.stack-work/install/x86_64-linux*/*/*/lib/x86_64-linux-ghc-*
-pwd
-
-stack --resolver lts-19.33 script ~/stackage/etc/diskspace/remove-old-stack-work-libs.hs
diff --git a/etc/diskspace/remove-old-stack-work-libs.hs b/etc/diskspace/remove-old-stack-work-libs.hs
old mode 100644
new mode 100755