sh.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Mon, 16 Sep 2019 22:13:19 +0300
changeset 2376 20b65f046002
parent 2228 837f1337c59b
permissions -rw-r--r--
Revoke privileges and drop role.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1129
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     1
.. -*- coding: utf-8; -*-
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     2
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     3
========
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     4
 Shell.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     5
========
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     6
.. contents::
1905
fba288d59662 Include only local subsections into TOC. This prevent duplication of
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1334
diff changeset
     7
   :local:
1129
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     8
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     9
Quoting.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    10
========
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    11
2228
837f1337c59b Removed indentation that compiled into <blockquote>.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1912
diff changeset
    12
http://www.mpi-inf.mpg.de/~uwe/lehre/unixffb/quoting-guide.html
837f1337c59b Removed indentation that compiled into <blockquote>.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1912
diff changeset
    13
  A Guide to Unix Shell Quoting
1129
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    14
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    15
Portability.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    16
============
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    17
2228
837f1337c59b Removed indentation that compiled into <blockquote>.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1912
diff changeset
    18
http://code.dogmap.org/lintsh/
837f1337c59b Removed indentation that compiled into <blockquote>.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1912
diff changeset
    19
  lintsh is a Bourne shell that optionally warns about suspicious
837f1337c59b Removed indentation that compiled into <blockquote>.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1912
diff changeset
    20
  or nonportable constructs
837f1337c59b Removed indentation that compiled into <blockquote>.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1912
diff changeset
    21
http://www.gnu.org/software/autoconf/manual/html_node/Portable-Shell.html
837f1337c59b Removed indentation that compiled into <blockquote>.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1912
diff changeset
    22
  Portable Shell Programming
1129
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    23
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    24
Kill processes after timeout.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    25
=============================
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    26
::
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    27
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    28
  $ yes xxx& p1=$! ; yes ===& p2=$! ; sleep 2; kill $p1; kill $p2
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    29