Skip to content
View in the app

A better way to browse. Learn more.

Gear Crushers

A full-screen app on your home screen with push notifications, badges and more.

To install this app on iOS and iPadOS
  1. Tap the Share icon in Safari
  2. Scroll the menu and tap Add to Home Screen.
  3. Tap Add in the top-right corner.
To install this app on Android
  1. Tap the 3-dot menu (⋮) in the top-right corner of the browser.
  2. Tap Add to Home screen or Install app.
  3. Confirm by tapping Install.

command filters

Featured Replies

One kind of program frequently used in pipelines is called filters. Filters take standard input and perform an operation upon it and send the results to standard output. In this way, they can be combined to process information in powerful ways. Here are some of the common programs that can act as filters:

Program What it does
awk An entire programming language designed for constructing filters. Extremely powerful.
fmt Reads text from standard input, then outputs formatted text on standard output.
grep Examines each line of data it receives from standard input and outputs every line that contains a specified pattern of characters.
head Outputs the first few lines of its input. Useful for getting the header of a file.
pr Takes text input from standard input and splits the data into pages with page breaks, headers and footers in preparation for printing.
sed Stream editor. Can perform more sophisticated text translations than tr.
sort Sorts standard input then outputs the sorted result on standard output.
tail Outputs the last few lines of its input. Useful for things like getting the most recent entries from a log file.
tr Translates characters. Can be used to perform tasks such as upper/lowercase conversions or changing line termination characters from one type to another (for example, converting DOS text files into Unix style text files).
uniq Given a sorted stream of data from standard input, it removes duplicate lines of data (i.e., it makes sure that every line is unique).

Create an account or sign in to comment

Important Information

By using this site, you agree to our Terms of Use.

Account

Navigation

Search

Search

Configure browser push notifications

Chrome (Android)
  1. Tap the lock icon next to the address bar.
  2. Tap Permissions → Notifications.
  3. Adjust your preference.
Chrome (Desktop)
  1. Click the padlock icon in the address bar.
  2. Select Site settings.
  3. Find Notifications and adjust your preference.