mirror of
https://github.com/Anduin2017/AnduinOS.git
synced 2025-09-19 15:11:12 +08:00
27 lines
968 B
Bash
Executable File
27 lines
968 B
Bash
Executable File
#!/bin/bash
|
|
|
|
#==========================
|
|
# Set up the environment
|
|
#==========================
|
|
set -e # exit on error
|
|
set -o pipefail # exit on pipeline error
|
|
set -u # treat unset variable as error
|
|
export SCRIPT_DIR="$(dirname "$(readlink -f "$0")")"
|
|
|
|
function clean_all() {
|
|
# This clean function will clean up everything built
|
|
echo "Cleaning up..."
|
|
sudo umount ./src/new_building_os/sys || sudo umount -lf ./src/new_building_os/sys || true
|
|
sudo umount ./src/new_building_os/proc || sudo umount -lf ./src/new_building_os/proc || true
|
|
sudo umount ./src/new_building_os/dev || sudo umount -lf ./src/new_building_os/dev || true
|
|
sudo umount ./src/new_building_os/run || sudo umount -lf ./src/new_building_os/run || true
|
|
sudo rm -rf ./src/new_building_os || true
|
|
sudo rm -rf ./src/image || true
|
|
sudo rm -rf ./src/dist || true
|
|
}
|
|
|
|
# ============= main ================
|
|
cd $SCRIPT_DIR
|
|
|
|
clean_all
|