edit function edit_project_files

This commit is contained in:
2025-09-26 15:06:13 +02:00
parent 5cfc16d797
commit 28cdc076d7

View File

@@ -324,6 +324,7 @@ change_project_setting() {
sed -i "s|^$key=.*|$key=$new_value|" "$config_file" sed -i "s|^$key=.*|$key=$new_value|" "$config_file"
} }
# Aktuellen Editor aus global/config.json holen
# Aktuellen Editor aus global/config.json holen # Aktuellen Editor aus global/config.json holen
get_editor_cmd() { get_editor_cmd() {
if [[ -f "$GLOBAL_CONFIG" ]]; then if [[ -f "$GLOBAL_CONFIG" ]]; then