2023年9月3日
linux profile 配置文件
摘要： 用的zsh，在`$HOME`下添加了`.profile`发现没有生效 新的思路如下： - 在`/etc/profile.d`下创建新文件`userProfile.sh` ```bash if [[ -e $HOME/.profile ]]; then source $HOME/.profile fi 阅读全文
posted @ 2023-09-03 13:02 feipeng8848 阅读(171) 评论(0) 推荐(0)
centos stream 9 编译gcc13.2 记录
摘要： ``` cd dev-home wget https://mirrors.aliyun.com/gnu/gcc/gcc-13.2.0/gcc-13.2.0.tar.xz cd dev-home mkdir objdir cd objdir $HOME/dev-home/gcc/configure - 阅读全文
posted @ 2023-09-03 10:56 feipeng8848 阅读(722) 评论(0) 推荐(0)