📄 readme
字号:
This directory contains some useful bash files.In order to use this configuration: echo "source ~/.bashrc" > ~/.profile echo "source /usr/share/init/bash/rc" > ~/.bashrc echo "source /usr/share/init/bash/login" > ~/.loginIn order to customize this setup: mkdir ~/Library/init/bashand create the following files there as necessary: aliases.mine - shell aliases completions.mine - completions environment.mine - environment rc.mine - run commands path - command search pathSee the corresponding file in /usr/share/init/bash for more information about the role of each file. You can easily extend or override the configuration provided by the default file. For example, you can add more aliases by adding the appropriate commands in aliases.mine. -Fred tritan@mit.edu
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -