Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 3 of 3 for Korets (0.17 sec)

  1. 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)
  2. 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)
  3. 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)
Back to top