config.ini 中的 ${} 是什么

what are ${} in config.ini

我一直在阅读别人开发的代码库。在其中一个 config_file.ini 它包含

[key]
id = John
pwd = 123123
server = ${common:prefix}server_name

${} 到底在做什么?另外,如果有参考资料谈论它,请告诉我。

它记录在 configparser.ExtendedInterpolation 下。它是一种语法 (${section:option}) 来表示来自外部部分的值。例如,在以下配置文件中,path 选项还引用 Common 部分中的 system_dir 值。

[Common]
home_dir: /Users
library_dir: /Library
system_dir: /System
macports_dir: /opt/local
    
[Frameworks]
Python: 3.2
path: ${Common:system_dir}/Library/Frameworks/
      ^^^^^^^^^^^^^^^^^^^^