| 123456789101112131415161718192021222324 |
- #!/bin/bash
- set -e
- # Readline 8.3 source acquisition script
- # Downloads and extracts the readline source code
- ARCHIVE_URL="https://ftp.gnu.org/gnu/readline/readline-8.3.tar.gz"
- ARCHIVE_NAME="readline-8.3.tar.gz"
- SOURCE_DIR="sources/readline"
- EXTRACT_DIR="."
- echo "Downloading readline-8.3 source..."
- wget -O ${ARCHIVE_NAME} ${ARCHIVE_URL}
- echo "Creating source directory..."
- mkdir -p ${SOURCE_DIR}
- echo "Extracting archive..."
- tar -xzf ${ARCHIVE_NAME} -C ${SOURCE_DIR} --strip-components=1
- echo "Cleaning up..."
- rm ${ARCHIVE_NAME}
- echo "Readline source acquisition complete."
|
