Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in shell

How to use variable in sed search pattern

shell sed

Can you insert a newline in between pipes in a shell script?

bash shell

Monitoring progress within xargs

bash shell unix xargs

Replace/remove literal square brackets in Bash string

bash shell brackets

bash: integer to string, split and join with delimeter

bash shell sh

How in linux to use interactive shell for Coq code?

linux shell rocq-prover

How do you kill a running process in a bashscript without killing the script?

c bash shell sh

Getting "Permission denied" on dirname and basename

linux shell dirname

Multiple exec in a shell script

bash shell exec sh

Environment variable change in shell but won't export

How can I run brew as root?

mysql macos shell homebrew root

Is it okay to run two instances of anaconda installing two things at once? [closed]

how to for loop a jq array result in shell script

json linux shell jq

How can I convert JSON to an environment variable file format? [duplicate]

How can I call GAP functions from a shell script?

Get and Set X11 clipboard(s) in Linux

python linux shell x11 autokey

rsync not working with variable containing a white space

bash shell rsync

Giving a bash script the option to accept flags like a command [duplicate]

bash shell scripting

How to use sed to split a string?

regex bash shell awk sed

Checking the expiry dates of SSL certs