diff options
Diffstat (limited to 'databases/rdb/files/patch-rdb')
-rw-r--r-- | databases/rdb/files/patch-rdb | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/databases/rdb/files/patch-rdb b/databases/rdb/files/patch-rdb new file mode 100644 index 000000000000..8c22599c7568 --- /dev/null +++ b/databases/rdb/files/patch-rdb @@ -0,0 +1,14 @@ +*** rdb~ Wed Jul 16 10:23:13 1997 +--- rdb Wed Feb 9 20:01:38 2000 +*************** +*** 155,158 **** + Jones XY 77 47 + EOF + $helpinfo .= "\n$RCS_ID\n" ; +! system "echo \"$helpinfo\" | less" ; +--- 155,159 ---- + Jones XY 77 47 + EOF + $helpinfo .= "\n$RCS_ID\n" ; +! $pager = $ENV{'PAGER'} ? $ENV{'PAGER'} : "more"; +! system "echo \"$helpinfo\" | $pager" ; |