zl程序教程

您现在的位置是:首页 >  系统

当前栏目

linux 之 source命令:

Linux命令 source
2023-09-14 08:57:00 时间

source命令:

source命令也称为“点命令”,也就是一个点符号(.)。source命令通常用于重新执行刚修改的初始化文件,使之立即生效,而不必注销并重新登录。

用法: 

source filename 或 . filename

source命令除了上述的用途之外,还有一个另外一个用途。在对编译系统核心时常常需要输入一长串的命令,如:

make mrproper

 

注: 这里的source 不是 mysql 的source;