Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/bash
- set -eu
- if [ "$#" -ne 1 ]; then
- echo "usage: $0 INDEX"
- exit 1
- fi
- INDEX=$1
- WORKDIR="${PWD}/sa_lab2_${INDEX}"
- mkdir "${WORKDIR}"
- cd "${WORKDIR}"
- FILE=$(mktemp)
- wget "http://infinity.eti.pg.gda.pl/tmp/jade.zip" -O "${FILE}"
- unzip "${FILE}" -d "${WORKDIR}"
- rm "${FILE}"
- JAVA_HOME=$(dirname $(dirname $(readlink -f $(which java))))
- sed "s/, anon,/,/" "/etc/java-11-openjdk/security/java.security" > "${WORKDIR}/jade/java.sec"
- echo "Kontener główny: java -Djava.security.properties==./java.sec -cp lib/jade.jar jade.Boot -nomtp -icps jade.imtp.leap.JICP.JICPSPeer -gui"
- echo "Kontener sfederowany: java -Djava.security.properties=="
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement