The Dash shell, a POSIX-compliant derivative of the Almquist shell used as /bin/sh in Debian, Ubuntu and other Linux distributions

learn more… | top users | synonyms

3
votes
1answer
69 views

Why does kill not work from script, but does work from terminal?

I have the following contrived script to illustrate my issue: #!/bin/bash set -eux sudo sleep 120 & spid=$! sleep 1 sudo kill $spid wait $! This will print $ ./test.sh + spid=21931 + sleep 1 ...
1
vote
1answer
18 views

swap windows with dash script

I have written a bunch of dash scripts that resize and move windows for better efficiency. The structure is the following: i have a row of 8 windows that are stacked to the bottom of my screen, like ...
0
votes
0answers
32 views

How to freeze the dash bar in Gnome 3?

I'm on a freshly installed Debian 8.3 (Gnome 3.14) and I can't find if it is possible to display the dash bar permanently (as a dock on Mac OS X). The dash is hiding automatically... This looks like a ...