#!/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."