- #!/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"
|
