Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 2 of 2 for detect_arch (0.38 sec)

  1. tools/docker-copy.sh

    INPUTS=("${@}")
    TARGET_ARCH=${TARGET_ARCH:-amd64}
    DOCKER_WORKING_DIR=${INPUTS[${#INPUTS[@]}-1]}
    FILES=("${INPUTS[@]:0:${#INPUTS[@]}-1}")
    
    set -eu;
    
    # detect_arch returns "amd64", "arm64", or "" depending on if the file is arch specific
    function detect_arch() {
      FILE=${1}
      extension="${FILE##*.}"
      if [[ "${extension}" == "deb" ]]; then
        arch="$(dpkg-deb --info "${FILE}" | grep Arch | cut -d: -f 2 | cut -c 2-)"
    Registered: Fri Jun 14 15:00:06 UTC 2024
    - Last Modified: Thu Aug 04 03:06:26 UTC 2022
    - 2.6K bytes
    - Viewed (0)
  2. hack/local-up-cluster.sh

        else
            echo "ERROR starting API SERVER, exiting. Some process on ${API_HOST} is serving already on ${API_SECURE_PORT}"
            exit 1
        fi
    }
    
    function detect_arch {
        local host_arch
    
        case "$(uname -m)" in
          x86_64*)
            host_arch=amd64
            ;;
          i?86_64*)
            host_arch=amd64
            ;;
          amd64*)
            host_arch=amd64
    Registered: Sat Jun 15 01:39:40 UTC 2024
    - Last Modified: Sat May 25 02:33:52 UTC 2024
    - 53.3K bytes
    - Viewed (0)
Back to top