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

  /prebuilts/sdk/tools/
jack 27 CLIENT_SETTING="${CLIENT_SETTING:=$HOME/.jack-settings}"
36 if [ -f "$CLIENT_SETTING" ]; then
37 source "$CLIENT_SETTING"
43 if [[ ! -f "$CLIENT_SETTING" || $SETTING_VERSION -lt 4 ]]; then
44 echo "Writing client settings in" $CLIENT_SETTING
45 cat >"$CLIENT_SETTING.$$" <<-EOT
54 ln -f "$CLIENT_SETTING.$$" "$CLIENT_SETTING"
55 rm "$CLIENT_SETTING.$$
    [all...]
jack-diagnose 25 CLIENT_SETTING="${CLIENT_SETTING:=$HOME/.jack-settings}"
44 if [ -f "$CLIENT_SETTING" ]; then
45 source "$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 '$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 '$CLIENT_SETTING' and '$JACK_HOME/config.properties'"
jack-admin 27 CLIENT_SETTING="${CLIENT_SETTING:=$HOME/.jack-settings}"
48 if [ -f "$CLIENT_SETTING" ]; then
49 source "$CLIENT_SETTING"
55 if [[ ! -f "$CLIENT_SETTING" || $SETTING_VERSION -lt 4 ]]; then
56 echo "Writing client settings in" $CLIENT_SETTING
57 cat >"$CLIENT_SETTING.$$" <<-EOT
66 ln -f "$CLIENT_SETTING.$$" "$CLIENT_SETTING"
67 rm "$CLIENT_SETTING.$$
    [all...]

Completed in 138 milliseconds