collectGigiConfig

   1 #!/bin/bash
   2
   3 set -e
   4 [ "$1" == "" ] && echo "Usage: $0 <year>" && exit 1
   5 year=$1
   6
   7 . structure.bash
   8 cd generated
   9
  10 mkdir -p gigi-config/config/ca
  11 cp root.ca/key.crt gigi-config/config/ca/root.crt
  12 for ca in "${STRUCT_CAS[@]}"; do
  13     cp ${ca}.ca/key.crt gigi-config/config/ca/${ca}.crt
  14     for i in "${TIME_IDX[@]}"; do
  15         cp ${year}/ca/${ca}_${year}_${i}.crt gigi-config/config/ca/${ca}_${year}_${i}.crt
  16     done
  17 done
  18
  19 cp -R ../profiles gigi-config/config
  20
  21 tar czf gigi-$year.tar.gz -C gigi-config config
  22
  23 rm -Rf gigi-config