主页 / user-85612

Gao's questions

Martin Hope
Gao
Asked: 2024-11-18 19:36:04 +0800 CST
  • 6

INI 文件是 Firefox 的配置文件.ini。我想打印下面的所有内容，包括部分标题，其中是非负整数，每个部分之间用空行分隔。还有一个可选键，它与配置文件部分下的键不同，如果存在，我也想打印它。基本上，shell 脚本只是和之前（打印、以及可选的键和值），但如果添加或删除键，这将失败，并且grep 选项不可移植。[Profilen]nDefault[Install*]Defaultgrep -E 'Default=[^1]' profiles.inigrep -A4 '^\[Profile' profiles.iniNameIsRelativePathDefault-A

下面是我的一个 hack 解决方案，它既不是惯用的 AWK，也不是健壮的 AWK：

/^[[]Profile[0123456789]{1,}[]]$/ {
    print
    while ((getline) > 0) {
        if ($0 ~ /^$/) { # Should really break on new sections.
            print ""
            break
        } else {
            print
        }
    }
}
/^Default=/ {
    print # Default profile path given in the Install* section.
}

示例输入：

[Profile2]
Name=default-test
IsRelative=0
Path=/home/user/ffprofiles/f9bwn86n.default-test

[Profile1]
Name=default
IsRelative=1
Path=x64qf7nv.default
Default=1

[Profile0]
Name=default-release
IsRelative=1
Path=9hv1fbkk.default-release-3426201712696

[General]
StartWithLastProfile=1
Version=2

[Install22379532B4E49482]
Default=9hv1fbkk.default-release-3426201712696
Locked=1

示例输出：

[Profile2]
Name=default-test
IsRelative=0
Path=/home/user/ffprofiles/f9bwn86n.default-test

[Profile1]
Name=default
IsRelative=1
Path=x64qf7nv.default
Default=1

[Profile0]
Name=default-release
IsRelative=1
Path=9hv1fbkk.default-release-3426201712696

Default=9hv1fbkk.default-release-3426201712696

我怎样才能更简洁、更正确地做到这一点？解决方案实际上不必使用 AWK，但我认为 awk 比 sed 或任何其他 Unix 实用程序更适合这种情况。但是，解决方案必须是可移植的并且符合 POSIX 标准。提前谢谢您。

awk
Martin Hope
Gao
Asked: 2017-12-27 12:26:05 +0800 CST
  • 3

我在 StackOverflow 上的回答至少获得了两次赞成票，它在我以前工作场所使用的工作站的外壳上起作用。在那个可能是 SunOS 或 Red Hat Commercial Linux 或 Red Hat Enterprise Linux 的旧版本的工作站上，测试常规文件和可写目录的存在。, , ,并且是该工作站上唯一可能安装的 shell，我很可能在.[[ -fwdpath]]pathshbashcshtcshzshbash

我问这个问题是因为我现在无法在其他类 Unix 操作系统上重现它。它总是给我一个语法错误，所以我开始怀疑我是否成功地运行过它。

我的问题是：此代码在哪些系统上有效，如果是，这是错误还是功能？

bash shell