shell - How to check if a variable is set in Bash? -


how know if variable set in bash?

for example, how check if user gave first parameter function?

function {     # if $1 set ? }

the right way

if [ -z ${var+x} ]; echo "var unset"; else echo "var set '$var'"; fi

where ${var+x} parameter expansion evaluates nothing if var unset, , substitutes string x otherwise.

quotes digression

quotes can omitted (so can ${var+x} instead of "${var+x}") because syntax & usage guarantees expand not require quotes (since either expands x (which contains no word breaks needs no quotes), or nothing (which results in [ -z ], conveniently evaluates same value (true) [ -z "" ] well)).

however, while quotes can safely omitted, , not obvious (it wasn't apparent the first author of quotes explanation major bash coder), better write solution quotes [ -z "${var+x}" ], @ small possible cost of o(1) speed penalty. first author added comment next code using solution giving url answer, includes explanation why quotes can safely omitted.

the wrong way

if [ -z "$var" ]; echo "var unset"; else echo "var set '$var'"; fi

this because doesn't distinguish between variable unset , variable set empty string. say, if var='', above solution incorrectly output var unset.

but distinction essential in situations user has specify extension, or additional list of properties, , not specifying them defaults non-empty value, whereas specifying empty string should make script use empty extension or list of additional properties.


Comments

Post a Comment

Popular posts from this blog

PHP and MySQL WP -

i trying accomplish 2 things here code. writing php directly wp page using insert php plugin. 1) query mysql database , return results 1 column 4 columns. 2) make each result own hyperlink directs user new wp page runs new query on page. i able query show results , turn results dynamic hyperlink, cannot formatting down. right returns result 1 column. here have: [insert_php] $servername = "localhost"; $username = "login"; //edited privacy $password = "password"; //edited privacy $database = "database"; //edited privacy // create connection $conn = new mysqli($servername, $username, $password, $database); // check connection if ($conn->connect_error) { die("connection failed: " . $conn->connect_error); } echo "connected successfully"; //get results database $result = mysqli_query($conn,"select mine mines order mine"); $all_property = array(); //declare array saving property //showing proper...
Read more

android - InAppBilling registering BroadcastReceiver in AndroidManifest -

i'm implementing inapp billing in android app. works well, however, i'm trying decouple broadcast receiver activity manifest. suggestion in android's trivialdrive sample: // important: dynamically register broadcast messages updated purchases. // register receiver here instead of <receiver> in manifest // because call getpurchases() @ startup, therefore can ignore // broadcasts sent while app isn't running. // note: registering listener in activity bad idea, done here // because sample. regardless, receiver must registered after // iabhelper setup, before first call getpurchases(). currently there's class extends broadcastreceiver : public class iabbroadcastreceiver extends broadcastreceiver { /** * intent action receiver should filter for. */ public static final string action = "com.android.vending.billing.purchases_updated"; private final iabbroadcastlistener mlistener; public iabbroadcastreceiver(iabbroadcastlistener listener) { m...
Read more

nginx - phpPgAdmin - log in works but I have to login again after clicking on any links -

i have setup postgres 9.6 , phppgadmin on centos 7 server nginx, i can log in phppgadmin, postgresql server on right of page remains crossed out , link try browse (databases, roles etc) requires log in again. i'm thinking seems sessions problem, unsure how resolve it. any pointers on how fix or should looking @ in order track down problem? solved. turns out owner of /var/lib/php/session apache - needed nginx. sorted changing ownership nginx below: chown -r nginx:nginx /var/lib/php/session/
Read more