#!/bin/bash

SOURCE_DIR="."
DEST_DIR="/run/media/servius/NICENANO"

copy_file() {
  local file=$1
  cp "$SOURCE_DIR/$file" "$DEST_DIR"
  echo "$file has been copied to $DEST_DIR"
}

read -p "Press Enter to copy corne-rs-central.uf2..." _
copy_file "corne-rs-central.uf2"

read -p "Press Enter to copy corne-rs-peripheral.uf2..." _
copy_file "corne-rs-peripheral.uf2"