- Sort Score
- Result 10 results
- Languages All
Results 1 - 3 of 3 for Korets (0.17 sec)
-
buildscripts/verify-healing.sh
echo "server$i log:" cat "${WORK_DIR}/dist-minio-server$i.log" done pkill -9 minio echo "FAILED" purge "$WORK_DIR" exit 1 fi } function main() { # use same ports for all tests start_port=$(shuf -i 10000-65000 -n 1) perform_test "2" ${start_port} perform_test "1" ${start_port} perform_test "3" ${start_port} } (__init__ "$@" && main "$@") rv=$?
Shell Script - Registered: Sun Apr 28 19:28:10 GMT 2024 - Last Modified: Thu Apr 25 21:55:41 GMT 2024 - 4.2K bytes - Viewed (1) -
buildscripts/verify-healing-empty-erasure-set.sh
echo "server$i log:" cat "${WORK_DIR}/dist-minio-server$i.log" done pkill -9 minio echo "FAILED" purge "$WORK_DIR" exit 1 fi } function main() { # use same ports for all tests start_port=$(shuf -i 10000-65000 -n 1) perform_test "2" ${start_port} perform_test "1" ${start_port} perform_test "3" ${start_port} } (__init__ "$@" && main "$@") rv=$?
Shell Script - Registered: Sun Apr 28 19:28:10 GMT 2024 - Last Modified: Thu Apr 25 21:55:41 GMT 2024 - 3.2K bytes - Viewed (0) -
ci/official/containers/linux_arm64/builder.patchelf/build_patchelf.sh
# so get patchelf source from 22.04 ie 'jammy' and build it to avoid dependency # problems that would occur with a binary package mkdir -p /patchelf cd /patchelf echo deb-src http://ports.ubuntu.com/ubuntu-ports/ jammy universe>>/etc/apt/sources.list apt-get update apt-get -y build-dep patchelf/jammy apt-get -b source patchelf/jammy
Shell Script - Registered: Tue Apr 30 12:39:09 GMT 2024 - Last Modified: Mon Sep 18 15:53:15 GMT 2023 - 1.2K bytes - Viewed (0)