这里简单做一个个人向的 Linux 使用配置吧,无论是 Ubuntu 还是 CentOS,都可以使用这个配置来提升使用体验,以及工作效率。
*Photo by Arian Darvishi on Unsplash
前言
为什么会有这个,因为在实验室服务器上多个节点都有账户,然后 OS 也不相同,有 Ubuntu,有 CentOS,最近还有 Fedora,但基本都能使用一套配置,但是由于前后时间个人使用风格(?)的不同导致不同的配置,比如以前我在 Ubuntu 上会将一些个人的配置或者 alias 直接写入 .bashrc,后面则会新建一个 .myrc 配置文件,最近又将配置和 alias 分开,将配置写入 .bashrc,而将 alias 写入 .bash_aliases,总之就是很混乱,且没有统一,所以有了这篇文章。
with open(BASH_HISTORY_PATH, encoding="utf-8") as f: for cmd in f: cnt += 1 if cmd in table: continue table.add(cmd) cmds.append(cmd) # print("".join(cmds)) print(f"{BASH_HISTORY_PATH} {cnt} -> {len(cmds)}") with open(BASH_HISTORY_PATH, "w", encoding="utf-8") as f: f.write("".join(cmds))
def zsh_history(): """ 由于 zsh 会在命令前面加入时间戳 所以需要一个 split 的操作 """ table = set() cmds = [] cnt = 0 # 如果修改时间小于时间阈值则不管 if cal_time(os.path.getmtime(ZSH_HISTORY_PATH)) < THRESHOLD_SECONDS: return with open(ZSH_HISTORY_PATH, encoding="utf-8") as f: for cmd in f: cnt += 1 purge_cmd = "".join(cmd.split(":")[2:]) if purge_cmd in table: continue table.add(purge_cmd) cmds.append(cmd) # print("".join(cmds)) print(f"{ZSH_HISTORY_PATH} {cnt} -> {len(cmds)}") with open(ZSH_HISTORY_PATH, "w", encoding="utf-8") as f: f.write("".join(cmds))