Lightweight command-line shell, used as the default `/bin/sh` on Ubuntu

learn more… | top users | synonyms

0
votes
1answer
77 views

Record screen at bootup using ffmpeg in 5 minute segments (12.04)

So I've played around with this quite a bit but at this point I've managed to hit a wall in figuring the next step. I have this script that works from an ssh tunnel to record display :0.0 ...
3
votes
1answer
105 views

What's the difference between system shell and login shell?

I recently encountered that my /bin/sh is a symlink to dash, which is apparently default system shell for ubuntu since its 6.10 release. I didn't know system shell is different from login shell. I ...
1
vote
1answer
69 views

Solving $PATH obfuscation by /bin/sh (dash)

This question is a follow-up from http://unix.stackexchange.com/questions/126955/percent-in-path-environment-variable. I post it here, since it is more distro-specific. The shell used by default for ...
0
votes
2answers
77 views

command line not working

after I initially installed ubuntu , I can run 'll' in my terminal. But after I checked a "Run command as login shell" in terminal preferences I cannot run "ll" command any more in terminal. ...
2
votes
0answers
245 views

How to make CFLAGS work with the dash shell?

My impression is that while setting the CFLAGS variable is effective when bash is the default shell, it doesn't make an effect with dash (the Debian Almquist shell). First of all please correct me if ...
2
votes
2answers
555 views

How to find the version of the Dash shell on Ubuntu /bin?

I would like to know if there is a way for find the shell Dash version. I tried several commands like : dash -v, dash -V, dash --version, but no one works. Dash Shell Wikipedia : ...
1
vote
2answers
1k views

Multiply with decimal numbers in bash [closed]

When i run p=0.1 k=2 while [ $p \< 1 ] do echo $p p=$(echo "scale=2; $p*$k" | bc) done i have this result 0.1 .2 .4 .8 What can i do to have 0.1, 0.2, 0.4 and 0.8 ?
2
votes
2answers
259 views

Run shell script downloaded from web

I have a .sh script (wget-20121105144134.sh) which I downloaded from the web. The script contains codes to download huge climate data files. Can you tell me how to run this file on Linux? It is easy ...
3
votes
2answers
3k views

How to replace/fix a messed up /bin/sh and /bin/dash

I have corrupted my /bin/sh and have no idea how to replace it. I accidentally copied over it. How can I fix this? I am running Ubuntu Server 11.10, no X. update: I have tried the fix that was ...
9
votes
2answers
2k views

How can my script determine whether it's being run by bash or dash?

I'm running a fresh Oneiric install (i.e. not an upgrade) on two different systems and running into the same set of seemingly related problems. The most frustrating of the bunch is that, when I use ...