因为墙的缘故，github 仓库经常推送拉取慢或者断连，我一般的做法是开启终端的代理:
export https_proxy=http://127.0.0.1:7897 http_proxy=http://127.0.0.1:7897 all_proxy=socks5://127.0.0.1:7897这种做法会让当前窗口所有的流量走代理，有额外的心理负担。
今天在社区看到一个更 nice 的做法，就是在 .ssh/config/ 里设置代理命令：
Host github.com
User git
HostName github.com
ProxyCommand ncat --proxy-type socks5 --proxy 127.0.0.1:7890 %h %p这样就不需要每次设置了。
在 PHP 8.5 中引入的 pipe 管道操作符 (|>) 是一个非常实用的新语法特性，它为函数调用链式表达提供了更清晰的写法。传统上，如果我们需要把一个值依次传入多个函数，往往要么嵌套调用（可读性差），要么借助临时变量。管道语法的核心思想是：将左边的表达式结果，作为参数传递给右边的函数。这样可以让代码像数据流一样从左到右自然流动。
例如，过去我们可能会写：
$result = strtoupper(trim($name));使用管道语法后，可以改写为：
$result = $name |> trim($$) |> strtoupper($$);在视频的 URL 后面加上以下参数就可以了:
?x-oss-process=video/snapshot,t_1000,f_jpg,w_800,h_600,m_fast完整的地址就是:
https://<bucket>.<endpoint>/<video>.mp4?x-oss-process=video/snapshot,t_1000,f_jpg,w_800,h_600,m_fast各项参数含义：
直接上代码：
有个独立的应用模块是用 Python 开发的，需要特殊的部署环境，公司没有完善的发布机制，所以是直接手动 docker build 发布的。多次发布后，发现构建缓存占用了大量磁盘空间，于是清理一波。
下面是相关的操作命令: