From e7cf9014c0f2bc0297abec2473c6fd243c146909 Mon Sep 17 00:00:00 2001 From: marchersimon <50295997+marchersimon@users.noreply.github.com> Date: Sun, 28 Mar 2021 20:31:07 +0200 Subject: [PATCH] pio-system: add page (#5523) --- pages/common/pio-system.md | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 pages/common/pio-system.md diff --git a/pages/common/pio-system.md b/pages/common/pio-system.md new file mode 100644 index 0000000000..292c710692 --- /dev/null +++ b/pages/common/pio-system.md @@ -0,0 +1,28 @@ +# pio system + +> Miscellaneous system commands for PlatformIO. +> More information: . + +- Install shell completion for the current shell (supports bash, fish, zsh and powershell): + +`pio system completion install` + +- Uninstall shell completion for the current shell: + +`pio system completion uninstall` + +- Display system-wide PlatformIO information: + +`pio system info` + +- Remove unused PlatformIO data: + +`pio system prune` + +- Remove only cached data: + +`pio system prune --cache` + +- List unused PlatformIO data that would be removed but do not actually remove it: + +`pio system prune --dry-run`