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

  /prebuilts/sdk/tools/
jack-diagnose 25 JACK_CLIENT_SETTING="${JACK_CLIENT_SETTING:=$HOME/.jack-settings}"
44 if [ -f "$JACK_CLIENT_SETTING" ]; then
45 source "$JACK_CLIENT_SETTING"
141 echo "Port $1 is used by another process (pid=$(echo $PS_OUT | awk '{print $1}')), please ensure to free the port or change port configuration in '$JACK_CLIENT_SETTING' and '$JACK_HOME/config.properties'"
146 echo "Port $1 is used b a Jack server from another user uid=$(echo $PS_OUT | awk '{print $2}'), please change port configuration in '$JACK_CLIENT_SETTING' and '$JACK_HOME/config.properties'"
jack-admin 27 JACK_CLIENT_SETTING="${JACK_CLIENT_SETTING:=$HOME/.jack-settings}"
48 if [ -f "$JACK_CLIENT_SETTING" ]; then
49 source "$JACK_CLIENT_SETTING"
55 if [[ ! -f "$JACK_CLIENT_SETTING" || $SETTING_VERSION -lt 4 ]]; then
56 echo "Writing client settings in" $JACK_CLIENT_SETTING
57 cat >"$JACK_CLIENT_SETTING.$$" <<-EOT
66 ln -f "$JACK_CLIENT_SETTING.$$" "$JACK_CLIENT_SETTING"
67 rm "$JACK_CLIENT_SETTING.$$
    [all...]
jack 27 JACK_CLIENT_SETTING="${JACK_CLIENT_SETTING:=$HOME/.jack-settings}"
42 if [ -f "$JACK_CLIENT_SETTING" ]; then
43 source "$JACK_CLIENT_SETTING"
45 echo "Cannot find settings at '$JACK_CLIENT_SETTING'" >&2

Completed in 46 milliseconds