diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-11-26 17:22:00 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-11-26 17:22:00 +0100 |
commit | e177a05d8868c020778b4fc0eef9042b5b822a71 (patch) | |
tree | 531bf07651f20d7590397aa9193fecf5b21a18f0 /debian/local | |
parent | d3847ea45dd9699515fcd80c2c9a66ef1e12a1d8 (diff) |
Replace /dev/u?random alternatives with /hurd/u?random.sh alternatives
* local/random-hurd.sh, urandom-hurd.sh: Add scripts to be used as
hurd-provided translators for /dev/*random.
* hurd.postinst: Remove "random" alternative introduced by 20111106-1, as it
makes rgrep in /etc not working any more. Install random.sh alternative
instead, which sets /hurd/u?random.sh scripts.
* local/setup-translators: Set /dev/u?random translator from
/hurd/u?random.sh instead of making them alternatives.
Diffstat (limited to 'debian/local')
-rwxr-xr-x | debian/local/random-hurd.sh | 2 | ||||
-rwxr-xr-x | debian/local/setup-translators | 4 | ||||
-rwxr-xr-x | debian/local/urandom-hurd.sh | 2 |
3 files changed, 6 insertions, 2 deletions
diff --git a/debian/local/random-hurd.sh b/debian/local/random-hurd.sh new file mode 100755 index 00000000..6b583c42 --- /dev/null +++ b/debian/local/random-hurd.sh @@ -0,0 +1,2 @@ +#!/bin/sh +exec /hurd/random --seed-file /var/spool/random-seed diff --git a/debian/local/setup-translators b/debian/local/setup-translators index 4a019fcd..91ee85df 100755 --- a/debian/local/setup-translators +++ b/debian/local/setup-translators @@ -146,8 +146,8 @@ else md ptyq md lprX 0123 md comX 0123 - st random-hurd 'random --seed-file /var/spool/random-seed' random - st urandom-hurd 'random --seed-file /var/spool/random-seed --fast' urandom + st random /etc/alternatives/random.sh random + st urandom /etc/alternatives/urandom.sh urandom fi st kbd 'symlink cons/kbd' kbd diff --git a/debian/local/urandom-hurd.sh b/debian/local/urandom-hurd.sh new file mode 100755 index 00000000..1205e8b4 --- /dev/null +++ b/debian/local/urandom-hurd.sh @@ -0,0 +1,2 @@ +#!/bin/sh +exec /hurd/random --seed-file /var/spool/random-seed --fast |