Advertisement
Guest User

Untitled

a guest
Oct 21st, 2019
92
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. #!/bin/bash
  2. set -eu
  3.  
  4. if [ "$#" -ne 1 ]; then
  5.     echo "usage: $0 INDEX"
  6.     exit 1
  7. fi
  8.  
  9. INDEX=$1
  10. WORKDIR="${PWD}/sa_lab2_${INDEX}"
  11.  
  12. mkdir "${WORKDIR}"
  13. cd "${WORKDIR}"
  14.  
  15. FILE=$(mktemp)
  16. wget "http://infinity.eti.pg.gda.pl/tmp/jade.zip" -O "${FILE}"
  17. unzip "${FILE}" -d "${WORKDIR}"
  18. rm "${FILE}"
  19.  
  20. JAVA_HOME=$(dirname $(dirname $(readlink -f $(which java))))
  21.  
  22. sed "s/, anon,/,/" "/etc/java-11-openjdk/security/java.security" > "${WORKDIR}/jade/java.sec"
  23.  
  24. echo "Kontener główny: java -Djava.security.properties==./java.sec -cp lib/jade.jar jade.Boot -nomtp -icps jade.imtp.leap.JICP.JICPSPeer -gui"
  25. echo "Kontener sfederowany: java -Djava.security.properties=="
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement