Skip to content

Commit

Permalink
Fix small check.py errors
Browse files Browse the repository at this point in the history
  • Loading branch information
gdevenyi committed May 14, 2015
1 parent 83fb75d commit 0119051
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion discussion.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ layout: page
title: The Unix Shell
subtitle: Discussion
---
### Other Shells
## Other Shells

Before Bash became popular in the end of nineties,
scientists widely used (and some still use) another shell, C-shell, or Csh.
Expand Down
2 changes: 1 addition & 1 deletion index.md
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ These lessons will start you on a path towards using these resources effectively
> searching for files with `grep` and `find`, and writing simple loops
> and scripts, you probably won't learn much from this lesson.
> ## Getting ready {.prereq}
> ## Getting ready {.getready}
>
> You need to download some files to follow this lesson:
>
Expand Down
2 changes: 1 addition & 1 deletion reference.md
Original file line number Diff line number Diff line change
Expand Up @@ -99,7 +99,7 @@ argument
The term is often used interchangeably (and inconsistently) with [parameter](#parameter).

command shell
: FIXME
: See [shell](#shell)

command-line interface
: An interface based on typing commands,
Expand Down

0 comments on commit 0119051

Please sign in to comment.