Searched refs:SETTINGS (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dcomponents89 SETTINGS="$ISABELLE_HOME_USER/etc/settings"
91 if [ -e "$SETTINGS" ]; then
94 echo "Edit \"$SETTINGS\" manually"
100 echo "Initializing \"$SETTINGS\""
101 mkdir -p "$(dirname "$SETTINGS")"
102 echo "$SETTINGS_CONTENT" > "$SETTINGS"
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dcomponents89 SETTINGS="$ISABELLE_HOME_USER/etc/settings"
91 if [ -e "$SETTINGS" ]; then
94 echo "Edit \"$SETTINGS\" manually"
100 echo "Initializing \"$SETTINGS\""
101 mkdir -p "$(dirname "$SETTINGS")"
102 echo "$SETTINGS_CONTENT" > "$SETTINGS"

Completed in 28 milliseconds