如何在bash字符串变量中用$ HOME的值替换前导的tilde~，反之亦然？

Question

这里的字符串变量是某个文件的路径名。应该是一个简单的解决方案，可能对其他人有用。

当我在.bashrc中编写一个简单的bash函数时出现了这个问题;见this thread。

Answer 1

~ - ＆gt; $HOME

这与How to manually expand a special variable (ex: ~ tilde) in bash

重复

$HOME - ＆gt; ~

除了为代码添加变通办法（可能会产生令人惊讶的效果）之外，这是您修复用户的最佳位置之一。那说......

copy() {
  local src=$1 dest=$2
  [[ $dest = $HOME/* ]] && dest="~/${dest#"$HOME/"}"
  scp "$src" "$dest"
}