Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > gnu.bash.bug > #14990

Re: Should [[ -v 1 ]] be supported?

From Peng Yu <pengyu.ut@gmail.com>
Newsgroups gnu.bash.bug
Subject Re: Should [[ -v 1 ]] be supported?
Date 2018-12-28 07:34 -0600
Message-ID <mailman.6465.1546004758.1284.bug-bash@gnu.org> (permalink)
References (4 earlier) <20181228013623.mersdxbzy64dpldp@crack.deadbeast.net> <CABrM6w=2zrjmV24VAgzioAu2iNcyuf3tsi--cfvkCH6MJ7feRA@mail.gmail.com> <20181228015710.tzzbejk36fsgr5wb@crack.deadbeast.net> <CABrM6wkfvTzY5UBMDz_kNr=imV_KpSsFF6o8fV5RLrKMYrPKgg@mail.gmail.com> <CAOSMAut1wQTvKhT4ECsC1tbPFTP_NfH8VrgO2OrOeGqAYr+L6g@mail.gmail.com>

Show all headers | View raw


> A profiler is exactly what you need here. You should profile your
> script and understand the stuff that actually matters for your goals.
> Otherwise you're just chasing unimportant things.

Again, my goal is not to profile a specific bash script. The goal is
to see what features make bash only fit into a shell language but
cannot make into other domains that other languages (e.g. python) are
popular at.

-- 
Regards,
Peng

Back to gnu.bash.bug | Previous | Next | Find similar | Unroll thread


Thread

Re: Should [[ -v 1 ]] be supported? Peng Yu <pengyu.ut@gmail.com> - 2018-12-28 07:34 -0600

csiph-web