|
|
@ -29,11 +29,15 @@ function extension_installed() {
|
|
|
|
if [ ! -f "$EXTENSIONS_FILE" ]; then
|
|
|
|
if [ ! -f "$EXTENSIONS_FILE" ]; then
|
|
|
|
return 1
|
|
|
|
return 1
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
if grep -q "\"$1\"" "$EXTENSIONS_FILE"; then
|
|
|
|
if ! command -v grep > /dev/null; then
|
|
|
|
echo "Extension $1 was found in $EXTENSIONS_FILE."
|
|
|
|
return 1
|
|
|
|
return 0
|
|
|
|
fi
|
|
|
|
|
|
|
|
if ! grep -q "\"$1\"" "$EXTENSIONS_FILE"; then
|
|
|
|
|
|
|
|
return 1
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
return 1
|
|
|
|
|
|
|
|
|
|
|
|
echo "Extension $1 was found in $EXTENSIONS_FILE."
|
|
|
|
|
|
|
|
return 0
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
# Check if the settings file exists...
|
|
|
|
# Check if the settings file exists...
|
|
|
|