Commit d82f723b authored by Sergio Bruni's avatar Sergio Bruni
Browse files

mod

parent ef9dacde
......@@ -13,18 +13,28 @@
# 2) assign the owner to sergio.gnss
# 3) assign the permissions to 664
#
# run this script whit sudo: sudo ./manage_dirs_permissions.sh
# because only root can change the group-owner of a folder
# USAGE:
# Before running, set
#
# if you get the following error from command chgrp:
#
# chgrp: changing group of 'log': Operation not permitted
#
# rerun the script whith sudo: sudo ./manage_dirs_permissions.sh
#
# Author: Sergio Bruni - sergio.bruni@ingv.it
#-------------------------------------------------------------------------
roots_array=()
roots_array=(/mnt/data/archive/rinex/CONTINUOUS/30s)
roots_array+=(/mnt/data/archive/rinex/CAMPAIGN/30s)
folders_array=()
# SET THE ROOT FOLDERS AS YOU NEED
#roots_array=(/mnt/data/archive/rinex/CONTINUOUS/30s)
#roots_array+=(/mnt/data/archive/rinex/CAMPAIGN/30s)
folders_array=(log stf)
# SET THE ROOT FOLDERS AS YOU NEED
#folders_array=(log stf)
for root in "${roots_array[@]}"
do
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment