Авторство |
Последнее изменение |
Открыть журнал
| Скачать
| RSS
<div align=center>
<br><br>
<form name="form1">
<input value="
<?php
$query = $_REQUEST['query'];
# clean up passed value
$query = preg_replace("/^\s+/","",$query);
$query = preg_replace("/\s+$/","",$query);
$query = preg_replace("/\s+/"," ",$query);
$query = ereg_replace("--","––",$query);
# $query = ereg_replace("-","–",$query);
$value = preg_replace("/\"/",""",$query);
echo "$value"
?>" type="text" name="query" onChange="submit()">
<input type="Hidden" name="lang" value="
<?php print $lang; ?>">
<p>
</form></div>
<?php
if($query != "") {
switch ($lang) {
case NULL:
exec("export LANG=ru_RU.UTF8 && export MANWIDTH=90 && man $query",$output,$error);
break;
case ru
:
exec("export LANG=ru_RU.UTF8 && export MANWIDTH=90 && man $query | col -bx",$output,$error);
break;
case en
:
exec("export MANWIDTH=90 && man $query | col -b",$output,$error);
break;
}
$output = implode("\n",$output);
if($error) {
echo "<pre><b>Ошибка</b>: $output</pre>";
}
else {# bold first line
$output = preg_replace("/^(.*)/","<b>\\1</b>",$output);
# wrap first line of each reference in table to control background color
$output = preg_replace("/(\n\nFrom )(.*)\n/","\n\n<table cellpadding=4
bgcolor=#7FA95D><tr><td><b>\\2</b></td></tr></table>",$output);
# add a href
$output = ereg_replace("\n","<br>",$output);
$output = ereg_replace("<br>[A-Z]{4,}","<a href=#\\0><img src=download.gif alt=\"\"></a><a name=\\0>\\0</a>",$output);
$output = ereg_replace("<br>[А-Я]{4,}","<a href=#\\0><img src=download.gif alt=\"\"></a><a name=\\0>\\0</a>",$output);
$output = ereg_replace("=#<br>","#=",$output);
$output = ereg_replace("=<br>","=",$output);
$output = ereg_replace("#=","=#",$output);
echo "<pre>$output</pre>";
}
}
?>
<script type="text/javascript">
document.form1.query.focus();
</script>