Tech

「科技,开发,技术,思考与实践」

设置 Pwsh 的 Proxy 地址

设置方法以新版 Powershell Core 即 Pwsh 为例,在命令行中设置当前会话代理 Proxy 的方法为(假设代理地址为 http://127.0.0.1:12345): 1$env:HTTP_PROXY="http://127.0.0.1:12345"; …

以新版 Mini Conda 的安装而引申的思考

前不久,突然想把 conda 拿起来玩玩,准备当作 Python Version Manager 来用。不过 Mini Conda 的安装似乎和几年前我实验时有一些比较大的区别了。 首先依据 conda 的官方文档 Installing on Windows 和 Conda init 可

PotPlayer + LAV + MadVR + XySubFilter 配置指南(修订版)

打造更好用的 PotPlayer

IntroductionPotplayer 作为 Windows 上很受欢迎的一款播放器,公认的最佳配置为结合 LAV、madVR、XySubfilter 进行使用。本文将介绍一种对其简单配置的方法。 L

在 HTTPS 使用 SSH 连接 GitHub

众所周知,我们访问 GitHub 时,若因某些原因 22 SSH 端口被干扰,那么我们将无法正常使用 Git 的各种操作访问 GitHub。好在 GitHub 官网提供了一种使用 SSH on HTTPS 的方式

利用 githubstatus 站点查看 GitHub 的服务状态

在我某一次照常执行 git push 后,命令行提示错误 ! [remote rejected],除此之外只有一条 remote: fatal error in commit_refs 的错误信息。 一般来说,遇到这种情况大概率不是自己的

管理 PowerShell 的命令历史

介绍PowerShell 的命令历史记录可以用来做很多事情,例如提供给 PSReadLine 来完成命令预测和历史搜索。 若想要管理这些本地的历史记录,只需要运行: 1(Get-PSReadlineOption).HistorySavePath

Git 同步远程已删除分支的状态

背景在 Git Remote 端删除了某些分支之后,在本地代码仓库运行 git branch -a 并不会同步这些状态。 解决运行命令: 1git remote show origin 此时会提示本地的某些分支可以被 git remote prune 处理。