HomeSort by relevance Sort by last modified time
    Searched refs:LOCAL_SETTING (Results 1 - 2 of 2) sorted by null

  /prebuilts/sdk/tools/
jack-admin 25 LOCAL_SETTING="$HOME/.jack"
32 source "$LOCAL_SETTING" 2>/dev/null
37 if [[ ! -f "$LOCAL_SETTING" || $SETTING_VERSION -lt 2 ]]; then
38 echo "Writing local settings in" $LOCAL_SETTING
39 cat >"$LOCAL_SETTING.$$" <<-EOT
52 ln -f "$LOCAL_SETTING.$$" "$LOCAL_SETTING"
53 rm "$LOCAL_SETTING.$$"
54 source "$LOCAL_SETTING"
jack 25 LOCAL_SETTING="$HOME/.jack"
32 source "$LOCAL_SETTING" 2>/dev/null
37 if [[ ! -f "$LOCAL_SETTING" || $SETTING_VERSION -lt 2 ]]; then
38 echo "Writing local settings in" $LOCAL_SETTING
39 cat >"$LOCAL_SETTING.$$" <<-EOT
52 ln -f "$LOCAL_SETTING.$$" "$LOCAL_SETTING"
53 rm "$LOCAL_SETTING.$$"
54 source "$LOCAL_SETTING"

Completed in 3381 milliseconds