для полноты, вот как я работаю с историей bash! (фильтр и резервное копирование)
Независимо от того, фильтруете вы или нет, HISTFILE недостаточно для того, кто заботится о своей истории, также не рекомендуется иметь большой HISTFILE, так что обязательно когда-нибудь вам понадобится хранить свою историю в другом месте!
function shellHist () #find old hist
{
if [[ -f ${HISTFILE}.${1} ]]; then
cat ${HISTFILE}.${1};
else
grep -h "${@:-.}" ${HISTFILE}.*;
fi
}
function shellHistBackup ()
{
[[ -n ${HISTFILE} ]] || return;
# pidKill0 && return; # do nothing if the job is actually running elsewhere
{
while read histLine; do
if ! grep -q "^${histLine}$" ${HISTFILE}.${histLine%% *} 2> /dev/null; then
echo "${histLine}" >> ${HISTFILE}.${histLine%% *};
fi;
done < ${HISTFILE}
for fltr in ls cat any ; do
rm ${HISTFILE}.${fltr}
done
} & # pidLog # related to pidKill0
}
Я включаю shellHistBackup в "trap shellExit EXIT"
Надеюсь, это будет кому-нибудь полезно!
Измените функцию на эту:
function FindProxyForURL(url,host) {
var hostIP;
if (isIpV4Addr.test (host)) {
hostIP = host;
}
else {
hostIP = dnsResolve(host);
}
if (isInNet(hostIP, "192.168.0.0", "255.255.255.0")) {
return "DIRECT";
}
if (host == "localhost") {
return "DIRECT";
}
return "PROXY 192.168.0.10:3128";
}
Сначала проверяется, является ли хост-часть номером IPv4. Если да, то он напрямую используется как IP.
Если нет, часть хоста преобразуется в IP-адрес и используется результат.
Затем IP-адрес сопоставляется с указанной подсетью; если это соответствует, браузер получает указание напрямую обращаться к хосту.
Если имя хоста "localhost", браузер также получает указание на прямой доступ к хосту (, хотя мне интересно, будут ли браузеры когда-либо использовать эту функцию для "localhost" ).
Наконец, по умолчанию используется прокси.