From 6ce9ebdc1fa9f79a0539486d3b894de303de7b4b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Verstraeten?= Date: Wed, 2 Aug 2017 11:12:49 +0200 Subject: [PATCH] check partition --- 70_installation/3_Raspbian.md | 2 +- 70_installation/4_Armbian.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/70_installation/3_Raspbian.md b/70_installation/3_Raspbian.md index 927de76..6ee15c1 100644 --- a/70_installation/3_Raspbian.md +++ b/70_installation/3_Raspbian.md @@ -142,7 +142,7 @@ Create a bash script and copy following script. Copy following script (make sure the partition is correct, this is the default one for a Raspberry Pi). - partition=/dev/mmcblk0p1 + partition=/dev/root imagedir=/etc/opt/kerberosio/capture/ if [[ $(df -h | grep $partition | head -1 | awk -F' ' '{ print $5/1 }' | tr ['%'] ["0"]) -gt 90 ]]; then diff --git a/70_installation/4_Armbian.md b/70_installation/4_Armbian.md index a6e789d..8d55c19 100644 --- a/70_installation/4_Armbian.md +++ b/70_installation/4_Armbian.md @@ -134,7 +134,7 @@ Create a bash script and copy following script. Copy following script (make sure the partition is correct, this is the default one for a Raspberry Pi). - partition=/dev/mmcblk0p1 + partition=/dev/root imagedir=/etc/opt/kerberosio/capture/ if [[ $(df -h | grep $partition | head -1 | awk -F' ' '{ print $5/1 }' | tr ['%'] ["0"]) -gt 90 ]]; then