#!/usr/bin/env bash;
authorwenzelm
Fri Jan 11 17:04:49 2002 +0100 (2002-01-11)
changeset 12721226fc0e2e7e3
parent 12720 f8a134b9a57f
child 12722 5af701433ea1
#!/usr/bin/env bash;
Admin/cvs-copy
Admin/make_everything
Admin/makebin
Admin/makedist
Admin/maketags
Admin/mirror-dist
Admin/mirror-main
Admin/psbooklet
Admin/rsyncd
     1.1 --- a/Admin/cvs-copy	Fri Jan 11 14:53:30 2002 +0100
     1.2 +++ b/Admin/cvs-copy	Fri Jan 11 17:04:49 2002 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -#!/bin/bash
     1.5 +#!/usr/bin/env bash
     1.6  #
     1.7  # $Id$
     1.8  #
     2.1 --- a/Admin/make_everything	Fri Jan 11 14:53:30 2002 +0100
     2.2 +++ b/Admin/make_everything	Fri Jan 11 17:04:49 2002 +0100
     2.3 @@ -1,4 +1,4 @@
     2.4 -#!/bin/bash
     2.5 +#!/usr/bin/env bash
     2.6  #
     2.7  # $Id$
     2.8  #
     3.1 --- a/Admin/makebin	Fri Jan 11 14:53:30 2002 +0100
     3.2 +++ b/Admin/makebin	Fri Jan 11 17:04:49 2002 +0100
     3.3 @@ -1,4 +1,4 @@
     3.4 -#!/bin/bash
     3.5 +#!/usr/bin/env bash
     3.6  #
     3.7  # $Id$
     3.8  #
     4.1 --- a/Admin/makedist	Fri Jan 11 14:53:30 2002 +0100
     4.2 +++ b/Admin/makedist	Fri Jan 11 17:04:49 2002 +0100
     4.3 @@ -1,4 +1,4 @@
     4.4 -#!/bin/bash
     4.5 +#!/usr/bin/env bash
     4.6  #
     4.7  # $Id$
     4.8  #
     5.1 --- a/Admin/maketags	Fri Jan 11 14:53:30 2002 +0100
     5.2 +++ b/Admin/maketags	Fri Jan 11 17:04:49 2002 +0100
     5.3 @@ -1,4 +1,4 @@
     5.4 -#!/bin/bash
     5.5 +#!/usr/bin/env bash
     5.6  #
     5.7  # $Id$
     5.8  
     6.1 --- a/Admin/mirror-dist	Fri Jan 11 14:53:30 2002 +0100
     6.2 +++ b/Admin/mirror-dist	Fri Jan 11 17:04:49 2002 +0100
     6.3 @@ -1,4 +1,4 @@
     6.4 -#!/bin/bash
     6.5 +#!/usr/bin/env bash
     6.6  #
     6.7  # $Id$
     6.8  #
     7.1 --- a/Admin/mirror-main	Fri Jan 11 14:53:30 2002 +0100
     7.2 +++ b/Admin/mirror-main	Fri Jan 11 17:04:49 2002 +0100
     7.3 @@ -1,4 +1,4 @@
     7.4 -#!/bin/bash
     7.5 +#!/usr/bin/env bash
     7.6  #
     7.7  # $Id$
     7.8  #
     8.1 --- a/Admin/psbooklet	Fri Jan 11 14:53:30 2002 +0100
     8.2 +++ b/Admin/psbooklet	Fri Jan 11 17:04:49 2002 +0100
     8.3 @@ -1,4 +1,4 @@
     8.4 -#!/bin/bash
     8.5 +#!/usr/bin/env bash
     8.6  #
     8.7  # $Id$
     8.8  #
     9.1 --- a/Admin/rsyncd	Fri Jan 11 14:53:30 2002 +0100
     9.2 +++ b/Admin/rsyncd	Fri Jan 11 17:04:49 2002 +0100
     9.3 @@ -1,4 +1,4 @@
     9.4 -#!/bin/bash
     9.5 +#!/usr/bin/env bash
     9.6  #
     9.7  # rsync server start script
     9.8  #