Skip to content

Instantly share code, notes, and snippets.

@koji
Created November 14, 2025 23:05
Show Gist options
  • Select an option

  • Save koji/19264ae9d6cf8e5331d547d6f9a9af06 to your computer and use it in GitHub Desktop.

Select an option

Save koji/19264ae9d6cf8e5331d547d6f9a9af06 to your computer and use it in GitHub Desktop.
test
#!/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..."
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment