Shell

👋 Sign in for the ability to sort posts by relevant, latest, or top.

thbe

Apr 20 '20

Howto write enterprise-grade shell scripts

#linux #shell #howto

9 min read

Inzamam ul Haque

Apr 14 '20

Shell loops to process text files? Think again!

#linux #shell #bash #scripting

5 min read

aagamezl

Apr 13 '20

Changing the GNOME Shell login background

#bash #gnome #shell #login

5 min read

Ant The Developer

Apr 9 '20

Demystifying GREP

#linux #shell #productivity

2 min read

Ismael Garcia

Apr 1 '20

Set zsh as the default shell in your terminal.

#terminal #zsh #linux #shell

1 min read

Talha Mansoor

Apr 1 '20

Use sed To Extract Filename, Extension, and Directory From Path

#todayilearned #tutorial #regex #shell

3 min read

Paweł Kowalski for platformOS

Mar 27 '20

Recording Your Terminal to SVG

#beginners #shell #opensource

4 min read

John Colagioia (he/him)

Mar 18 '20

Small-D date Night

#programming #shell #date

5 min read

Mike Whitaker

Mar 16 '20

Shell command options you didn't know you needed (or possibly even existed) #4

#bash #linux #shell #unix

1 min read

Mike Whitaker

Mar 15 '20

Shell command options you didn't know you needed #3

#shell #linux #bash #unix

1 min read

Jasmin Virdi

Mar 1 '20

A brief difference between zsh and bash

#bash #zsh #productivity #shell

119

3 min read

Mike Whitaker

Mar 5 '20

Shell command options you didn't know you needed #2

#shell #linux #unix

1 min read

Kazuya Matsumoto

Mar 5 '20

List all only files under directory with shell script

#shell #bash #linux

1 min read

Mike Whitaker

Mar 4 '20

Shell command options you didn't know you needed #1

#shell #linux #unix

1 min read

Wojtek Cichoń

Mar 3 '20

CLI tools for noobs and non-devs - improve your shell experience, promptly.

#cli #shell #beginners #linux

3 min read

👋 Sign in for the ability to sort posts by relevant, latest, or top.

DEV Community

# shell

Howto write enterprise-grade shell scripts

Shell loops to process text files? Think again!

Changing the GNOME Shell login background

Demystifying GREP

Set zsh as the default shell in your terminal.

Use sed To Extract Filename, Extension, and Directory From Path

Recording Your Terminal to SVG

Small-D date Night

Shell command options you didn't know you needed (or possibly even existed) #4

Shell command options you didn't know you needed #3

A brief difference between zsh and bash

Shell command options you didn't know you needed #2

List all only files under directory with shell script

Shell command options you didn't know you needed #1

CLI tools for noobs and non-devs - improve your shell experience, promptly.