Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Favorites infavorites:mine
infavorites:1234
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with Search options user 3201

The shell is Unix's command-line interface. You can type commands in a shell interactively, or write scripts to automate tasks. Use this tag for questions applying to /bin/sh and most compatible shells (ash, bash, ksh, zsh, …). For shell scripts with errors, please check them in http://shellcheck.net before posting here.

7
votes
You need the "tee" command, which allows you to split pipes. texcount foo.tex | tee >output.txt | sed s/$/'\\\\'/ > wc.tex ; cat output.txt This would leave you the additional output.txt file. Read …
answered Jan 11 '11 by Danny Staple
0
votes
To rename all of them in the shell would be something like this: for file in *; do mv -- "${file}" "`basename -- "${file}"`.txt" done You may want to test the type with file or other checks to determine the extensions. …
answered Mar 4 '15 by Danny Staple
0
votes
One thing you could do is use an environment variable as a guard. So set the env to __<your script>__path_added. In your script, you can then just test if that has been set before adding the path in …
answered Dec 18 '10 by Danny Staple