bash - .bashrc 中的函数 ping+() 不起作用

问题描述

我有这个问题。我的机器是windows 10，最新版本。

我安装了 cygwin，在我的 bashrc 中我有这个功能：

ping+()
{
        host=$1
        par_1=$2
        par_2=$3
        par_3=$4
        ping $host $par_1 $par_2 $par_3 | xargs -n1 -i bash -c 'echo [`date +"%Y-%m-%d | %H:%M:%S"`] " {}"'
}

工作正常：

Luca[~] :> ping+ www.google.it
[2018-11-28 | 20:41:23]  Pinging www.google.it [74.125.71.94] with 32 bytes of data:
[2018-11-28 | 20:41:23]  Reply from 74.125.71.94: bytes=32 time=28ms TTL=43
[2018-11-28 | 20:41:24]  Reply from 74.125.71.94: bytes=32 time=31ms TTL=43
[2018-11-28 | 20:41:25]  Reply from 74.125.71.94: bytes=32 time=29ms TTL=43
[2018-11-28 | 20:41:26]  Reply from 74.125.71.94: bytes=32 time=29ms TTL=43
[2018-11-28 | 20:41:26]  Ping statistics for 74.125.71.94:
[2018-11-28 | 20:41:26]  Packets: Sent = 4, Received = 4, Lost = 0 (0% loss),
[2018-11-28 | 20:41:26]  Approximate round trip times in milli-seconds:
[2018-11-28 | 20:41:26]  Minimum = 28ms, Maximum = 31ms, Average = 29ms

但是，如果我将此代码放入“ubuntu windows 文件系统”上的 .bashrc 中，我会收到此错误：

luca[/mnt/c/Users/Luca] :> source /home/luca/.bashrc
ping+(): command not found

很可能是“ping”之后的“+”不被接受。我该如何解决这个问题？谢谢卢卡

标签： bashfunctionwindows-subsystem-for-linux

这是名称中带有'+'字符的 shell 函数与 bash 的extglob选项之间发生奇怪交互的结果。很可能您已extglob在 Cygwin 下的 shell 中禁用，并在“ubuntu windows 文件系统”配置中启用。

我还没弄清楚为什么extglob会有这种特殊的副作用。这可能是 bash 中的错误。它甚至可能是一个bash接受ping+函数名称的错误，这取决于相关标准和其他文档对函数名称正确语法的说明。

最简单的解决方案是使用不以+字符结尾的名称。

如果您真的想ping+为您的函数使用名称，解决方法是extglob在定义函数时取消设置该选项。ping+（无论是否设置了名称，您仍然可以调用它extglob。）

例如，您可以在您的.bashrc:

shopt -u extglob
ping+() {
    host=$1
    par_1=$2
    par_2=$3
    par_3=$4
    ping $host $par_1 $par_2 $par_3 | xargs -n1 -i bash -c 'echo [`date +"%Y-%m-%d | %H:%M:%S"`] " {}"'
}
shopt -s extglob

（这强制extglob设置。如果你想让它保持初始状态，那就有点复杂了。你必须解析输出shopt extglob以确定它是设置还是取消设置。但你可能还是想无条件地设置它.)

另一种解决方案是使用可执行的 shell 脚本而不是函数。例如，此脚本等效于您的函数：

#!/bin/bash

host="$1"
par_1="$2"
par_2="$3"
par_3="$4"
ping $host $par_1 $par_2 $par_3 | xargs -n1 -i bash -c 'echo [`date +"%Y-%m-%d | %H:%M:%S"`] " {}"'

使用上述内容创建一个名为的文件ping+，使其可执行chmod +x，然后将其复制到您的目录中，$PATH例如$HOME/bin. （无需将其安装在诸如之类的系统目录中/usr/bin。如果您希望系统上的所有用户都可以使用它，则可以将其安装在诸如之类的系统范围目录中/usr/local/bin。该/usr/bin目录旨在用于由操作系统本身。）

这是因为命令名称的规则比 shell 函数名称的规则更简单，限制更少。

这是一个更简单、更可靠的版本（它避免了参数中的 shell 元字符的任何问题）。

#!/bin/bash

ping "$@" | xargs -n1 -i bash -c 'echo [`date +"%Y-%m-%d | %H:%M:%S"`] " {}"'

或者更好（因为xargs可以启用命令替换攻击，正如 Charles Duffy 指出的那样）：

#!/bin/bash

ping "$@" | while read -r line ; do echo "[$(date +'%Y-%m-%d | %H:%M:%S')] $line" ; done

bash - .bashrc 中的函数 ping+() 不起作用

问题描述

解决方案

推荐阅读