This repository has been archived on 2024-05-26. You can view files and clone it, but cannot push or open issues or pull requests.
server-kernel/cleantool.sh

19 lines
507 B
Bash
Raw Normal View History

2024-03-11 01:57:32 +01:00
#!/bin/bash
echo ":: Cleaning built files"
rm -rf linux-*.tar.sign linux-*.tar.xz linux-jstm-optimized-*.pkg.tar.zst linux-jstm-optimized-headers-*.pkg.tar.zst more-uarches-*.tar.gz patch-*.xz cl-linux pkg
function ask_cleansrc() {
read -rp "Clean src/ directory too [y/N]? " CLEANTOOL_SRC
case "${CLEANTOOL_SRC}" in
"y"|"Y")
rm -rf src
;;
"n"|"N"|"")
;;
*)
echo ":: Error: Invalid answer. Please answer with Y or N"
ask_cleansrc
;;
esac
}
ask_cleansrc