工具・开发环境 on kenji.blog

证书错误导致GitHub Copilot无法使用的解决办法

Sun, 21 Apr 2024 18:47:26 +0900

GitHub Copilot显示以下错误时的解决办法

从2024年4月19日左右开始，GitHub Copilot变得无法使用了。错误信息如下：

1
2


[ERROR] [ghostText] [2024-04-21T04:06:46.900Z] Error on ghost text request: (FetchError) unable to verify the first certificate
[ERROR] [certificates] [2024-04-21T04:06:46.901Z] Your current Copilot license doesn't support proxy connections with custom certificates. Please visit https://gh.io/copilot-network-errors to learn more. Original cause: {"type":"system","_name":"FetchError","code":"UNABLE_TO_VERIFY_LEAF_SIGNATURE"}

解决办法

这似乎是ESET的一个bug。在ESET的高级设置中，将“启用SSL/TLS”关闭即可。

参考

AWS CDK中似乎也发生了同样的错误。

AWS CDK bootstrap certificate warning-error

Microsoft Word 快捷键一览

Sun, 07 Apr 2024 14:18:51 +0900

快捷键一览

快捷键	说明
`Ctrl` + `B`	加粗
`Ctrl` + `I`	倾斜
`Ctrl` + `U`	下划线
`Ctrl` + `E`	居中对齐
`Ctrl` + `L`	左对齐
`Ctrl` + `R`	右对齐
`Ctrl` + `]`	增大字号
`Ctrl` + `[`	减小字号
`Ctrl` + `C`	复制
`Ctrl` + `V`	粘贴
`Ctrl` + `X`	剪切
`Ctrl` + `Z`	撤销
`Ctrl` + `Y`	重做（恢复撤销的操作）
`Ctrl` + `A`	全选
`Shift` + `方向键`	选择范围
`Ctrl` + `F`	查找文本
`Ctrl` + `H`	替换文本
`Ctrl` + `P`	显示打印预览
`Ctrl` + `S`	保存文档
`F12`	另存为
`Ctrl` + `Home`	移动到文档开头
`Ctrl` + `End`	移动到文档末尾

参考

Word 键盘快捷键

在Windows上安装文本编辑器micro的方法

Sun, 31 Mar 2024 21:50:39 +0900

下载 micro

https://github.com/zyedidia/micro/releases

打开上述链接，点击 Show all XX assets (X部分为数字)，然后下载 micro-X.X.XX-win64.zip (X部分为数字)。解压 zip 文件，将所有文件放置在任意文件夹中。

设置环境变量

为了在命令提示符中使用 micro.exe，需要设置环境变量。

按下 Win键 + R键，输入 sysdm.cpl 并按 Enter键。
点击 系统属性 中的 系统属性。
点击 环境变量。
选择 系统环境变量 中的 Path，然后点击 编辑。
点击 新建，添加包含 micro.exe 的文件夹路径。
点击 确定，关闭所有对话框。
重新启动命令提示符，输入 nano 确认是否可以执行。

micro 的使用方法

在命令提示符中输入 micro 并执行，将显示如下界面。

主要操作方法和快捷键如下：

快捷键	操作
Ctrl+Q	关闭文件
Ctrl+S	保存文件
Ctrl+O	打开文件
Ctrl+A	全选
Ctrl+X	剪切所选范围
Ctrl+C	复制所选范围
Ctrl+V	粘贴
Ctrl+Z	撤销
Ctrl+Y	重做
Ctrl+E	执行编辑器命令

参考

micro

在Windows上安装CLI文本编辑器nano的方法

Sun, 31 Mar 2024 18:09:32 +0900

下载nano.exe

https://sourceforge.net/projects/nano-for-windows/

打开上述链接，点击Download下载GNU-Nano_Win32(static).zip。解压zip文件，将nano.exe放置在任意文件夹中。 ※不支持日语输入。（截至 2024/03/31）

设置环境变量

为了从命令提示符使用nano.exe，需要设置环境变量。

按下Win键 + R键，输入sysdm.cpl，然后按Enter键。
点击系统属性中的系统属性。
点击环境变量。
选择系统变量中的Path，然后点击编辑。
点击新建，添加nano.exe的路径。
点击确定，关闭所有对话框。
重新启动命令提示符，输入nano，检查是否可以运行。

nano的使用方法

输入nano并运行后，将显示以下屏幕。

屏幕底部显示快捷键的说明。

符号的含义如下：

^ 代表 Ctrl 键。
M- 代表 Alt 键。

要保存并关闭，请先按 Ctrl + S，然后再按 Ctrl + X。

参考

GNU nano

在 WSL 中出现“Temporary failure resolving～”时的解决方法

Sun, 31 Mar 2024 16:57:33 +0900

在 WSL 中出现“Temporary failure resolving～”时的解决方法

1
2
3
4


kenji@MyComputer:~$ sudo apt update
[sudo] password for kenji:
Err:1 http://archive.ubuntu.com/ubuntu focal InRelease
 Temporary failure resolving 'archive.ubuntu.com'

当在 WSL 中显示上述错误时，可能是 DNS 服务器的设置不正确。在我的环境中，通过以下步骤解决了该问题。

启动 WSL。
运行 sudo nano /etc/resolv.conf。
将 nameserver 的行更改如下：

1

nameserver 8.8.8.8

按 Ctrl + S 保存，然后按 Ctrl + X 退出。
运行 sudo apt update。
如果没有显示错误，说明问题已解决。

如果上述步骤未能解决问题

似乎也有上述步骤无法解决问题的情况。请参考以下文章。

在 WSL 中 apt update 时出现『Temporary failure resolving ～』的解决方法

使用命令提示符安装 PowerToys

Sat, 30 Sep 2023 21:23:00 +0900

使用命令提示符安装 PowerToys

介绍使用命令提示符安装 PowerToys 的方法。

1

winget install Microsoft.PowerToys --source winget

使用命令提示符卸载 PowerToys

1

winget uninstall --name PowerToys

GitHub 赞助者招募

Tue, 17 Jan 2023 18:13:56 +0900

GitHub 赞助者招募

如果您能通过下面的按钮成为我的 GitHub 赞助者，我将非常高兴。

这些资金将用于工具开发等方面。

我会继续努力，直到能够获得代码签名证书！

在 GitHub Actions 中动态设置变量

Sun, 02 Oct 2022 02:33:35 +0900

要在 GitHub Actions 中动态设置变量，可以通过如下所示向 $env:GITHUB_ENV 中追加写入来实现。

【Windows 的情况】

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44


name: Rust

on:
 push:
 branches: [ "master" ]
 pull_request:
 branches: [ "master" ]

env:
 CARGO_TERM_COLOR: always

jobs:
 build:
 runs-on: ubuntu-latest
 steps:
 - uses: actions/checkout@v3
 - name: Get Environment
 run: |
 echo 'VERSION=1.0.0' >> $GITHUB_ENV
 echo 'NAME=1.0.0' >> $GITHUB_ENV
 - name: Display Environment
 run: |
 echo $env:VERSION
 echo $env:NAME
 - name: Create Release
 id: create_release
 uses: actions/create-release@v1
 env:
 GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 with:
 tag_name: ${{ env.VERSION }}
 release_name: ${{ env.VERSION }}
 draft: false
 prerelease: false
 - name: Upload Release Asset
 id: upload-release-asset
 uses: actions/upload-release-asset@v1
 env:
 GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 with:
 upload_url: ${{ steps.create_release.outputs.upload_url }} # This pulls from the CREATE RELEASE step above, referencing it's ID to get its outputs object, which include a `upload_url`. See this blog post for more info: https://jasonet.co/posts/new-features-of-github-actions/#passing-data-to-future-steps
 asset_path: ./target/release/${{ env.NAME }}.exe
 asset_name: ${{ env.NAME }}.exe
 asset_content_type: application/octet-stream

【Linux 的情况】

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24


name: Rust

on:
 push:
 branches: [ "main" ]
 pull_request:
 branches: [ "main" ]

env:
 CARGO_TERM_COLOR: always

jobs:
 build:
 runs-on: ubuntu-latest
 steps:
 - uses: actions/checkout@v3
 - name: Get Environment
 run: |
 echo 'VERSION=1.0.0' >> $GITHUB_ENV
 echo 'NAME=hello' >> $GITHUB_ENV
 - name: Display Environment
 run: |
 echo ${{ env.VERSION }}
 echo ${{ env.NAME }}

在 git 中删除标签

Sun, 02 Oct 2022 02:18:04 +0900

删除本地标签

使用 git tag 查看本地存在的标签。
使用 git tag -d v0.1.0 删除标签。（将 v0.1.0 替换为你想要删除的标签）

删除远程标签

使用 git ls-remote --tags 查看远程存在的标签。
使用 git push origin --delete v0.1.0 删除远程存在的标签。（将 v0.1.0 替换为你想要删除的标签）

参考资料

gitでtagをリモートとローカルで削除する方法！