如何在某个位置替换字符串的字母

Question

假设我想替换某个字符串的第 n 个字母，我该怎么做？

我试过这样的事情，但它不正确：

#!/bin/bash
index= # let say 2
s='Hello'
echo ${s/$index/'a'} # This should print Healo

Answer 1

有一个Advanced Bash-Scripting Guide向您展示了如何进行子字符串和连接。

让我们说：

#!/bin/bash
index=2
s=Hello
echo ${s:0:index-1}a${s:index}