#!/bin/bash
set -euo pipefail
echo "=== Step 1: Go to opentrons folder ==="
cd "$HOME/Desktop/opentrons" || {
echo "ERROR: ~/Desktop/opentrons not found."
read -n 1 -s -r -p "Press any key to exit..."
exit 1
}
echo
echo "=== Step 2: Sync to latest edge ==="
git fetch
git checkout edge
git pull --ff-only
echo
echo "=== Step 3: make -C app dist ==="
make -C app dist
echo
echo "=== Step 4: make -C app-shell package ==="
make -C app-shell package
echo
echo "=== Step 5: Move built app(s) to Desktop ==="
BUILD_DIR="$HOME/Desktop/opentrons/app-shell/dist/mac-arm64"
DEST_DIR="$HOME/Desktop"
if [ ! -d "$BUILD_DIR" ]; then
echo "ERROR: Build directory not found: $BUILD_DIR"
read -n 1 -s -r -p "Press any key to exit..."
exit 1
fi
# Copy everything from the build directory to Desktop.
# (Change 'cp -R' to 'mv' if you really want to move instead of copy.)
cp -R "$BUILD_DIR"/* "$DEST_DIR"/
echo
echo "All done! Artifacts copied to your Desktop."
read -n 1 -s -r -p "Press any key to close..."
Created
November 14, 2025 23:05
-
-
Save koji/19264ae9d6cf8e5331d547d6f9a9af06 to your computer and use it in GitHub Desktop.
test
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment