Skip to content

Commit 34397ac

Browse files
committed
remove .pixi on revert
1 parent e3a102c commit 34397ac

File tree

1 file changed

+9
-0
lines changed

1 file changed

+9
-0
lines changed

setup.sh

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,9 +26,18 @@ prompt_input() {
2626
exit_gracefully() {
2727
if [ "$revert_on_exit" = true ]; then
2828
echo -e "\n\033[31mAborting Setup:\033[0m"
29+
30+
# Revert to initial commit
2931
echo -e " Reverting changes to initial commit:"
3032
execute_command "git reset --hard $(git rev-list --max-parents=0 HEAD)"
3133
execute_command "git clean -fd"
34+
35+
# Remove .pixi directory if it exists
36+
if [ -d ".pixi" ]; then
37+
echo -e " Removing .pixi directory:"
38+
execute_command "rm -rf .pixi"
39+
fi
40+
3241
revert_on_exit=false
3342
exit 1
3443
fi

0 commit comments

Comments
 (0)