📄 default_wpro.sh
字号:
#!/bin/sh# If there's a current ~/.wave_pro, we move it to ~/.wave_pro_save provided # that the latter doesn't exist already. We then copy the system .wave_pro. # # @(#)default_wpro.sh 1.2 6/29/93if test -f $HOME/.wave_pro then if test -f $HOME/.wave_pro_save then mv $HOME/.wave_pro $HOME/.wave_pro_save fificp `get_esps_base`/lib/waves/.wave_pro $HOME/.wave_pro
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -