#!/usr/bin/env bash
set -euo pipefail
ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
rm -rf "$ROOT/plugins/modula2-language"
mkdir -p "$ROOT/plugins"
cp -a "$ROOT/extensions/modula2-language" "$ROOT/plugins/modula2-language"
rm -rf "$ROOT/plugins/modula2-language/src" "$ROOT/plugins/modula2-language/node_modules"
echo "Language plugin synchronized to plugins/modula2-language"