[w3m-dev 02872] EWS4800 sh doesn't work ${param-word}

* configure (use_migemo): change migemo URL
* configure (def_migemo_command): fix for EWS4800
* configure (def_image_viewer): ditto
* configure (def_audio_player): ditto
From: Yoshinobu Sakane <sakane@d4.bsd.nes.nec.co.jp>
This commit is contained in:
Fumitoshi UKAI
2002-01-18 13:06:14 +00:00
parent 7bfdf1553b
commit 487ce39d9a
2 changed files with 14 additions and 6 deletions

View File

@@ -1,3 +1,11 @@
2002-01-18 Yoshinobu Sakane <sakane@d4.bsd.nes.nec.co.jp>
* [w3m-dev 02872] EWS4800 sh doesn't work ${param-word}
* configure (use_migemo): change migemo URL
* configure (def_migemo_command): fix for EWS4800
* configure (def_image_viewer): ditto
* configure (def_audio_player): ditto
2002-01-18 Hironori Sakamoto <hsaka@mth.biglobe.ne.jp>
* [w3m-dev 02871] ignore SIGCHLD (for at least EWS4800)
@@ -2126,4 +2134,4 @@
* release-0-2-1
* import w3m-0.2.1
$Id: ChangeLog,v 1.241 2002/01/17 15:49:04 ukai Exp $
$Id: ChangeLog,v 1.242 2002/01/18 13:06:14 ukai Exp $

10
configure vendored
View File

@@ -1,5 +1,5 @@
#!/bin/sh
# $Id: configure,v 1.53 2002/01/17 09:24:34 ukai Exp $
# $Id: configure,v 1.54 2002/01/18 13:06:14 ukai Exp $
# Configuration.
#
@@ -697,8 +697,8 @@ else
def_param "use_ansi_color" n
fi
ask_param "Use Migemo (Roma-ji search; Please see http://www.nmn.jp/~hidai/software/w3m/)" use_migemo n
def_migemo_command=${def_migemo_command-migemo -t egrep /usr/local/share/migemo/migemo-dict}
ask_param "Use Migemo (Roma-ji search; Please see http://migemo.namazu.org/)" use_migemo n
def_migemo_command=${def_migemo_command:-"migemo -t egrep /usr/local/share/migemo/migemo-dict"}
echo "def_migemo_command='$def_migemo_command'" >> config.param
# protocols?
@@ -778,9 +778,9 @@ readdir "$dbrowser"
brz=$_dir
echo "dbrowser='$brz'" >> config.param
def_image_viewer=${def_image_viewer-xv}
def_image_viewer=${def_image_viewer:-xv}
echo "def_image_viewer='$def_image_viewer'" >> config.param
def_audio_player=${def_audio_player-showaudio}
def_audio_player=${def_audio_player:-showaudio}
echo "def_audio_player='$def_audio_player'" >> config.param
if [ -z "$dcc" ]; then