Use shell expansion instead of basename
This commit is contained in:
parent
6bc37fd203
commit
168fa73a49
@ -44,8 +44,8 @@ start() {
|
|||||||
if [ -z "${moused_device}" ] ; then
|
if [ -z "${moused_device}" ] ; then
|
||||||
local dev=
|
local dev=
|
||||||
for dev in /dev/psm[0-9]* /dev/ums[0-9]* ; do
|
for dev in /dev/psm[0-9]* /dev/ums[0-9]* ; do
|
||||||
[ -e "${dev}" ] || continue
|
[ -c "${dev}" ] || continue
|
||||||
[ -e /var/run/moused-$(basename "${dev}").pid ] && continue
|
[ -e /var/run/moused-"${dev##*/}".pid ] && continue
|
||||||
moused_device=${dev}
|
moused_device=${dev}
|
||||||
eindent
|
eindent
|
||||||
einfo "Using mouse on ${moused_device}"
|
einfo "Using mouse on ${moused_device}"
|
||||||
|
Loading…
Reference in New Issue
Block a user