vasilito
41330ce78e
Add local/scripts/fetch-sources.sh for fetching sources by category (core, libs, tools) instead of by config. Fix .gitignore to only track our hand-written source code (branding, core, drivers, gpu, system, wayland, kde categories), excluding fetched vendor source like MC's ported source tree. Ultraworked with [Sisyphus](https://github.com/code-yeongyu/oh-my-openagent) Co-authored-by: Sisyphus <clio-agent@sisyphuslabs.ai>
137 lines
3.9 KiB
Bash
Executable File
137 lines
3.9 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
# fetch-sources.sh — Download Redox recipe sources for browsing and editing
|
|
#
|
|
# The build system fetches on-demand during `make all`, but you need sources
|
|
# present BEFORE building to read, edit, and patch them. This script bulk-fetches
|
|
# sources so they're available in recipes/<category>/<pkg>/source/.
|
|
#
|
|
# Usage:
|
|
# ./local/scripts/fetch-sources.sh # All sources
|
|
# ./local/scripts/fetch-sources.sh core # Core packages only
|
|
# ./local/scripts/fetch-sources.sh libs tools # Multiple categories
|
|
# ./local/scripts/fetch-sources.sh --list # Show available categories
|
|
# ./local/scripts/fetch-sources.sh --status # Show fetch progress
|
|
#
|
|
# After fetching, sources live at:
|
|
# recipes/<category>/<pkg>/source/ (git repos, tar extractions)
|
|
# local/recipes/<category>/<pkg>/source/ (our custom overlay packages)
|
|
set -euo pipefail
|
|
|
|
SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
|
|
PROJECT_ROOT="$(cd "$SCRIPT_DIR/../.." && pwd)"
|
|
REPO_BIN="$PROJECT_ROOT/target/release/repo"
|
|
|
|
cd "$PROJECT_ROOT"
|
|
|
|
if [ ! -f "$REPO_BIN" ]; then
|
|
echo ">>> Building cookbook binary..."
|
|
cargo build --release
|
|
fi
|
|
|
|
ALL_CATEGORIES=$(ls -d recipes/*/ 2>/dev/null | xargs -I{} basename {} | sort)
|
|
|
|
list_categories() {
|
|
echo "Available recipe categories:"
|
|
for cat in $ALL_CATEGORIES; do
|
|
count=$(find "recipes/$cat" -mindepth 1 -maxdepth 1 -type d | wc -l)
|
|
printf " %-20s %3d recipes\n" "$cat" "$count"
|
|
done
|
|
}
|
|
|
|
show_status() {
|
|
total=0; fetched=0
|
|
for d in $(find recipes -mindepth 2 -maxdepth 2 -type d); do
|
|
[ -f "$d/recipe.toml" ] || continue
|
|
total=$((total + 1))
|
|
if [ -d "$d/source" ] && [ "$(ls -A "$d/source/" 2>/dev/null)" ]; then
|
|
fetched=$((fetched + 1))
|
|
fi
|
|
done
|
|
local pct=0
|
|
[ "$total" -gt 0 ] && pct=$((fetched * 100 / total))
|
|
echo "Sources fetched: $fetched / $total ($pct%)"
|
|
}
|
|
|
|
if [ "${1:-}" = "--list" ]; then
|
|
list_categories
|
|
exit 0
|
|
fi
|
|
|
|
if [ "${1:-}" = "--status" ]; then
|
|
show_status
|
|
exit 0
|
|
fi
|
|
|
|
echo "========================================"
|
|
echo " Redox Source Fetcher"
|
|
echo "========================================"
|
|
show_status
|
|
echo ""
|
|
|
|
fetch_one() {
|
|
local recipe_path="$1"
|
|
local name
|
|
name=$(basename "$recipe_path")
|
|
|
|
if [ -d "$recipe_path/source" ] && [ "$(ls -A "$recipe_path/source/" 2>/dev/null)" ]; then
|
|
return 0
|
|
fi
|
|
|
|
"$REPO_BIN" fetch "$recipe_path" 2>/dev/null && return 0
|
|
|
|
echo " FAIL $name"
|
|
return 1
|
|
}
|
|
|
|
fetch_category() {
|
|
local cat="$1"
|
|
local ok=0 fail=0 skip=0
|
|
|
|
for pkg_dir in "recipes/$cat"/*/; do
|
|
[ -f "$pkg_dir/recipe.toml" ] || continue
|
|
local name
|
|
name=$(basename "$pkg_dir")
|
|
|
|
if [ -d "$pkg_dir/source" ] && [ "$(ls -A "$pkg_dir/source/" 2>/dev/null)" ]; then
|
|
skip=$((skip + 1))
|
|
continue
|
|
fi
|
|
|
|
if "$REPO_BIN" fetch "$pkg_dir" 2>/dev/null; then
|
|
ok=$((ok + 1))
|
|
else
|
|
echo " FAIL $name"
|
|
fail=$((fail + 1))
|
|
fi
|
|
done
|
|
|
|
[ "$ok" -gt 0 ] && echo " ✅ $cat: $ok fetched, $skip cached, $fail failed"
|
|
[ "$ok" -eq 0 ] && [ "$skip" -gt 0 ] && echo " ⏭️ $cat: $skip cached"
|
|
[ "$ok" -eq 0 ] && [ "$skip" -eq 0 ] && [ "$fail" -gt 0 ] && echo " ❌ $cat: $fail failed"
|
|
}
|
|
|
|
if [ $# -eq 0 ]; then
|
|
echo ">>> Fetching ALL recipe sources..."
|
|
echo ""
|
|
for cat in $ALL_CATEGORIES; do
|
|
fetch_category "$cat"
|
|
done
|
|
else
|
|
for cat in "$@"; do
|
|
if [ -d "recipes/$cat" ]; then
|
|
echo ">>> Fetching category: $cat"
|
|
fetch_category "$cat"
|
|
else
|
|
echo "WARNING: Unknown category '$cat' (skipping)"
|
|
fi
|
|
done
|
|
fi
|
|
|
|
echo ""
|
|
echo "========================================"
|
|
show_status
|
|
echo "========================================"
|
|
echo ""
|
|
echo "Sources are at: recipes/<category>/<pkg>/source/"
|
|
echo "Our overlay: local/recipes/<category>/<pkg>/source/"
|