2018-07-14 06:42:15 +02:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2018-08-25 01:53:24 +02:00
|
|
|
rm -rf .pioenvs
|
|
|
|
rm -rf .piolibdeps
|
|
|
|
rm -rf .piolib
|
2018-07-14 06:42:15 +02:00
|
|
|
|
2018-08-25 01:53:24 +02:00
|
|
|
if [[ $1 = "--deep" ]]; then
|
|
|
|
rm -rf ~/.platformio/packages/*
|
|
|
|
rm -rf ~/.platformio/platforms/*
|
|
|
|
rm -rf ~/.platformio/.cache/*
|
2018-07-14 06:42:15 +02:00
|
|
|
fi
|