CIRCL
/
Circlean
mirror of https://github.com/CIRCL/Circlean
2
0
Fork 0
Code Issues Releases Wiki Activity

Merge pull request #73 from nosecguy/patch-1 

Update mount_dest.sh
master
Raphaël Vinot 2020-02-07 16:54:25 +01:00 committed by GitHub
parent fe2f7f5a70 f7ffb7318a
commit d484e97332
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
circlean_fs/root_partition/opt/groomer/mount_dest.sh
View File

@ -22,15 +22,15 @@ check_not_root() {
}
check_source_exists() {
if [ ! -b "${SRC_DEV}" ]; then
echo "GROOMER: Source device (${SRC_DEV}) does not exist."
if [ ! -b "${SRC_DEV}1" ]; then
echo "GROOMER: Source device (${SRC_DEV}1) does not exist."
exit
fi
}
check_dest_exists() {
if [ ! -b "${DST_DEV}" ]; then
echo "GROOMER: Destination device (${DST_DEV}) does not exist."
if [ ! -b "${DST_DEV}1" ]; then
echo "GROOMER: Destination device (${DST_DEV}1) does not exist."
exit
fi
}