Keeps only the PropertyPageProvider from the single file extension; the config, git and cache layers come from nemo-repo-core. Opening Properties is an explicit request for current state, so the page now bypasses the shared TTL cache and asks git directly. The grid gains a summary row and the row builder is split out so the page body reads as a list of fields.
21 lines
501 B
Bash
Executable File
21 lines
501 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# Removes this plugin from Nemo. The core, the other plugins and the config
|
|
# file are left alone.
|
|
set -euo pipefail
|
|
|
|
dataHome="${XDG_DATA_HOME:-$HOME/.local/share}"
|
|
extensionsDir="$dataHome/nemo-python/extensions"
|
|
target="$extensionsDir/nemoRepoProperties.py"
|
|
|
|
if [ -e "$target" ]; then
|
|
rm -f "$target"
|
|
echo "Removed $target"
|
|
else
|
|
echo "Not installed: $target"
|
|
fi
|
|
|
|
rm -f "$extensionsDir/__pycache__/nemoRepoProperties".*.pyc
|
|
|
|
echo
|
|
echo "Restart Nemo to unload it: nemo -q"
|