+++ /dev/null
-#!/bin/sh
-set -ex
-
-needle=$(pnmnoraw)
-
-exec 3<database.ppm
-
-while true; do
- read <&3 title
- if [ x"$title" = x. ]; then
- exit 0
- fi
- straw=$(pnmnoraw <&3)
- if [ x"$straw" = x"$needle" ]; then
- printf "%s\n" "$title"
- exit 0
- fi
-done