在代码片段扩展中，对于代码片段，我需要根据文件路径设置导入语句。
本质上的逻辑应该是：
if ($RELATIVE_FILEPATH.startsWith('/app') {
// Next.js with app router / RSC
render 'import {...} from 'react-bricks/rsc'
} else {
render 'import {...} from 'react-bricks/frontend'
}
有可能有这样的条件吗？
谢谢！
Matteo
我正在使用 Visual Studio Code (v.1.95.2) 开发一个网站，但语法高亮似乎有点混乱。当 HTML div 元素的onclick属性中包含字符串中的 JS 代码时，就会发生这种情况。下面显示了一个示例。
我尝试禁用所有扩展code --disable-extensions，但语法错误仍然出现。
我不知道以前是如何启用此功能的，但我发现它对于主要在终端上工作的人来说非常有用。
它根据我的输入显示命令的历史记录，让我可以快速选择它们。现在，我无法再次启用此表...我已经在 Google 上搜索过此功能，但我没有看到任何人提到它...
不知道这叫什么，但当你点击编辑器中的各个部分时，就会弹出蓝色框。有什么办法可以删除它吗？不知道他们为什么要默认放这么烦人的东西。
这里有一些填充文字来描述随处弹出的烦人的蓝色框。
我正在尝试通过 VSCode 中的 jupyter 笔记本查询 SQL Server 2016 数据库。为此，我按照这些说明安装了 ODBC 驱动程序。
这是该命令的输出odbcinst -j：
unixODBC 2.3.12
DRIVERS............: /usr/local/etc/odbcinst.ini
SYSTEM DATA SOURCES: /usr/local/etc/odbc.ini
FILE DATA SOURCES..: /usr/local/etc/ODBCDataSources
USER DATA SOURCES..: /Users/myname/.odbc.ini
SQLULEN Size.......: 8
SQLLEN Size........: 8
SQLSETPOSIROW Size.: 8
然后我在 VSCode 中运行以下 Python 代码：
import pyodbc
import pandas as pd
servername = 'emp-edwh01'
dbname = 'DWH_CORE'
cnxn = pyodbc.connect('DRIVER={ODBC Driver 18 for SQL Server};SERVER='+servername+';DATABASE='+dbname)
cursor = cnxn.cursor()
query = '''SELECT * limit 100
FROM dbp.tab_CMA_CMPositions
'''
df = pd.read_sql(query, cnxn, index_col='[primary_key]')
但我看到的输出是：
OperationalError: ('08001', '[08001] [Microsoft][ODBC Driver 18 for SQL Server]Client unable to establish connection. For solutions related to encryption errors, see https://go.microsoft.com/fwlink/?linkid=2226722 (0) (SQLDriverConnect)')
我已经做了彻底的研究（也经历过这个），删除并重新安装了驱动程序，仔细检查了所有链接等。但我仍然无法连接。
另外，我在 VSCode 上运行连接文件时的完整日志是：
[ODBC][13195][1728651033.229336][SQLAllocHandle.c][469]
Entry:
Handle Type = 2
Input Handle = 0x7fdf0b3a6400
[ODBC][13195][1728651033.229385][SQLAllocHandle.c][585]
Exit:[SQL_SUCCESS]
Output Handle = 0x7fdeeb188e00
[ODBC][13195][1728651033.230136][SQLDriverConnectW.c][298]
Entry:
Connection = 0x7fdeeb188e00
Window Hdl = 0x0
Str In = [DRIVER={ODBC Driver 18 for SQL Server};SERVER=emp-edwh01;DATABASE=DWH_CORE][length = 74 (SQL_NTS)]
Str Out = 0x0
Str Out Max = 0
Str Out Ptr = 0x0
Completion = 0
Threading Level set from Driver Entry in ODBCINST.INI 99 from '99'
Threading Level set from [ODBC] Section in ODBCINST.INI 0 from '0'
UNICODE Using encoding ASCII 'UTF-8' and UNICODE 'UCS-2-INTERNAL'
[ODBC][13195][1728651033.367613][SQLDriverConnectW.c][870]
Exit:[SQL_ERROR]
[ODBC][13195][1728651033.367677][SQLGetDiagRecW.c][535]
Entry:
Connection = 0x7fdeeb188e00
Rec Number = 1
SQLState = 0x30a3f4824
Native = 0x30a3f4818
Message Text = 0x7fdf0c5f2e00
Buffer Length = 1023
Text Len Ptr = 0x30a3f4822
[ODBC][13195][1728651033.367732][SQLGetDiagRecW.c][596]
Exit:[SQL_SUCCESS]
SQLState = [08001]
Native = 0x30a3f4818 -> 0 (32 bits)
Message Text = [[Microsoft][ODBC Driver 18 for SQL Server]Client unable to establish connection. For solutions related to encryption errors, see]
[ODBC][13195][1728651033.367851][SQLFreeHandle.c][324]
Entry:
Handle Type = 2
Input Handle = 0x7fdeeb188e00
[ODBC][13195][1728651033.367882][SQLFreeHandle.c][373]
Exit:[SQL_SUCCESS]
编辑-证书
我使用 Kerberos 进行身份验证和连接。当我在 VSCode 中直接查询相同的 SQL Server 2016 时，这可以通过 Kerberos 成功运行。
我尝试运行 python 脚本来信任服务器证书：
cnxn = pyodbc.connect('DRIVER={ODBC Driver 18 for SQL Server};SERVER='+servername+';DATABASE='+dbname+';TrustServerCertificate=yes')
现在我看到的错误是：
OperationalError: ('08001', '[08001] [Microsoft][ODBC Driver 18 for SQL Server]Client unable to establish connection (0) (SQLDriverConnect)')
我已经有一段时间没有在 Visual Studio Code 中接触 Rust 了。我正在研究 Exercism 网站上的 Rust 练习。每个练习在 src 下都有一个 lib.rs，在 tests 下有一个 [exercise name].rs。
我记得我以前使用 CodeLens 调试链接调试单个集成测试时能够在终端窗口中看到 println 语句的输出。目前我不能。如果我使用 CodeLens 运行链接进行测试，lib.rs 函数中 println 的输出将显示在终端中。
当我调试集成测试时，我是否应该能够在终端窗口中看到 println 输出？如果可以，有人可以提供关于如何识别或记录问题的建议吗？
我正在使用的扩展是：CodeLLDB、rust-analyzer 和 WSL。
我卸载了每个扩展，删除了 Code 目录，重新安装了 Code，然后再次加载了每个扩展。
在 VSCode 的禅模式（使用View: Toggle Zen Mode命令面板中的选项切换）中，我想确保编辑器宽度始终填满整个窗口。
当前行为：它具有巨大的水平边距，最大限度地减少了可用于代码的空间。
期望的行为：代码编辑器占据整个窗口，并完全删除水平边距。
是否有一个设置文件（如下面的屏幕截图所示）配置或 VSCode 扩展可以用来实现这个结果？
我正在尝试通过 ssh 远程登录 Raspberry Pi（最新操作系统，已升级所有版本）。我收到以下错误
失败：错误：没有到主机的路由
注意：我能够从 Mac 终端成功进行远程 SSH。
VS 代码终端的 SSH 也失败了。
ssh [email protected]
ssh: connect to host lilac.local port 22: Undefined error: 0
全输出
[09:26:07.834] Log Level: 2
[09:26:07.844] SSH Resolver called for "ssh-remote+7b22686f73744e616005223a224c696c61632e6c6f63616c227d", attempt 1
[09:26:07.845] "remote.SSH.useLocalServer": true
[09:26:07.845] "remote.SSH.useExecServer": true
[09:26:07.845] "remote.SSH.path": undefined
[09:26:07.845] "remote.SSH.configFile": undefined
[09:26:07.845] "remote.SSH.useFlock": true
[09:26:07.846] "remote.SSH.lockfilesInTmp": false
[09:26:07.846] "remote.SSH.localServerDownload": auto
[09:26:07.846] "remote.SSH.remoteServerListenOnSocket": false
[09:26:07.846] "remote.SSH.showLoginTerminal": false
[09:26:07.846] "remote.SSH.defaultExtensions": []
[09:26:07.846] "remote.SSH.loglevel": 2
[09:26:07.846] "remote.SSH.enableDynamicForwarding": true
[09:26:07.847] "remote.SSH.enableRemoteCommand": false
[09:26:07.847] "remote.SSH.serverPickPortsFromRange": {}
[09:26:07.847] "remote.SSH.serverInstallPath": {}
[09:26:07.847] "remote.SSH.permitPtyAllocation": false
[09:26:07.847] "remote.SSH.preferredLocalPortRange: undefined
[09:26:07.847] "remote.SSH.useCurlAndWgetConfigurationFiles: false
[09:26:07.858] VS Code version: 1.93.1
[09:26:07.858] Remote-SSH version: [email protected]
[09:26:07.859] darwin x64
[09:26:07.860] SSH Resolver called for host: Lilac.local
[09:26:07.860] Setting up SSH remote "Lilac.local"
[09:26:07.863] Acquiring local install lock: /var/folders/v4/hrbl1rxjnnj3_3xddd8wh6zc0000gn/T/vscode-remote-ssh-5e26f877-install.lock
[09:26:07.865] Looking for existing server data file at /Users/neptune/Library/Application Support/Code/User/globalStorage/ms-vscode-remote.remote-ssh/vscode-ssh-host-5e26f877-38c31bc77e0nn6ae88a4e9cc93428cc27a56ba40-0.114.3-es/data.json
[09:26:07.865] No existing data file
[09:26:07.865] Using commit id "38c31bc77e0nn6ae88a4e9cc93428cc27a56ba40" and quality "stable" for server
[09:26:07.867] Script variables:
{
"InstallExitCode.24": "AlreadyInProgress",
"InstallExitCode.25": "ServerDownloadFailed",
"InstallExitCode.26": "NoDownloaderAvailable",
"InstallExitCode.27": "UnsupportedArch",
"InstallExitCode.28": "StatusCheckFailed",
"InstallExitCode.29": "NeedInsidersArch",
"InstallExitCode.30": "NoDownloaderAvailableForStatusCheck",
"InstallExitCode.31": "ServerTransferFailed",
"InstallExitCode.32": "ServerFailedToStart",
"InstallExitCode.33": "NeedInsidersWindows",
"InstallExitCode.34": "CreateInstallDirFailed",
"InstallExitCode.35": "UnsupportedPlatform",
"InstallExitCode.36": "ServerTerminatedCVE20201416",
"InstallExitCode.37": "UnpackFailed",
"InstallExitCode.38": "ChangeDirFailed",
"InstallExitCode.AlreadyInProgress": "24",
"InstallExitCode.ServerDownloadFailed": "25",
"InstallExitCode.NoDownloaderAvailable": "26",
"InstallExitCode.NoDownloaderAvailableForStatusCheck": "30",
"InstallExitCode.UnsupportedArch": "27",
"InstallExitCode.StatusCheckFailed": "28",
"InstallExitCode.NeedInsidersArch": "29",
"InstallExitCode.ServerTransferFailed": "31",
"InstallExitCode.ServerFailedToStart": "32",
"InstallExitCode.NeedInsidersWindows": "33",
"InstallExitCode.CreateInstallDirFailed": "34",
"InstallExitCode.UnsupportedPlatform": "35",
"InstallExitCode.ServerTerminatedCVE20201416": "36",
"InstallExitCode.UnpackFailed": "37",
"InstallExitCode.ChangeDirFailed": "38",
"InstallUnpackCode.Success": "success",
"InstallUnpackCode.Error": "error",
"InstallUnpackCode.MissingFiles": "missingFiles",
"uuid": "6353def35478",
"startMarker": "6353def35478: running",
"commitId": "38c31bc77e0nn6ae88a4e9cc93428cc27a56ba40",
"quality": "stable",
"token": "a1a111aa-a11a-111a-a11a-11a1a1a1aa11",
"vscodeAgentFolder": "$HOME/.vscode-server",
"allowClientDownload": "1",
"forceClientDownload": "0",
"cliNameInArchive": "code",
"ignoreWgetConfigFlag": " --no-config ",
"ignoreCurlConfigFlag": " --disable ",
"wgetTriesSegment": "--tries=1",
"listenArgs": "--on-host=127.0.0.1 --on-port",
"getDownloadServerStartTrigger": "6353def35478:trigger_server_download",
"getDownloadServerEndTrigger": "6353def35478:trigger_server_download_end",
"getProgressDownloading": "6353def35478%%1%%",
"getProgressInstalling": "6353def35478%%2%%"
}
[09:26:07.870] Install and start server if needed
[09:26:07.872] PATH: /usr/local/bin:/usr/local/sbin:/Library/Frameworks/Python.framework/Versions/3.11/bin:/Library/Frameworks/Python.framework/Versions/3.8/bin:/usr/local/bin:/System/Cryptexes/App/usr/bin:/usr/bin:/bin:/usr/sbin:/sbin:/var/run/com.apple.security.cryptexd/codex.system/bootstrap/usr/local/bin:/var/run/com.apple.security.cryptexd/codex.system/bootstrap/usr/bin:/var/run/com.apple.security.cryptexd/codex.system/bootstrap/usr/appleinternal/bin:/Library/Apple/usr/bin
[09:26:07.872] Checking ssh with "ssh -V"
[09:26:07.890] > OpenSSH_9.8p1, LibreSSL 3.3.6
[09:26:07.894] askpass server listening on /var/folders/v4/hrbl1rxj7yj3_3xddd8wh6zc0000gn/T/vscode-ssh-askpass-893ed7068401ad57552f6d011da471570451d18d.sock
[09:26:07.894] Spawning local server with {"serverId":1,"ipcHandlePath":"/var/folders/v4/hrbl1rxj7yj3_3xddd8wh6zc0000gn/T/vscode-ssh-askpass-475f8fd3c8ebce1b7979c6a620be016ac42f9c2d.sock","sshCommand":"ssh","sshArgs":["-v","-T","-D","55769","-o","ConnectTimeout=15","Lilac.local"],"serverDataFolderName":".vscode-server","dataFilePath":"/Users/neptune/Library/Application Support/Code/User/globalStorage/ms-vscode-remote.remote-ssh/vscode-ssh-host-5e26f877-38c31bc77e0nn6ae88a4e9cc93428cc27a56ba40-0.114.3-es/data.json"}
[09:26:07.895] Local server env: {"SSH_AUTH_SOCK":"/private/tmp/com.apple.launchd.zIB4Zu95iz/Listeners","SHELL":"/bin/zsh","DISPLAY":"1","ELECTRON_RUN_AS_NODE":"1","SSH_ASKPASS":"/Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/local-server/askpass.sh","VSCODE_SSH_ASKPASS_NODE":"/Applications/Visual Studio Code.app/Contents/Frameworks/Code Helper (Plugin).app/Contents/MacOS/Code Helper (Plugin)","VSCODE_SSH_ASKPASS_EXTRA_ARGS":"","VSCODE_SSH_ASKPASS_MAIN":"/Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/askpass-main.js","VSCODE_SSH_ASKPASS_HANDLE":"/var/folders/v4/hrbl1rxj7yj3_3xddd8wh6zc0000gn/T/vscode-ssh-askpass-893ed7068401ad57552f6d011da471570451d18d.sock"}
[09:26:07.896] Spawned 11289
[09:26:08.090] > local-server-1> Running ssh connection command: ssh -v -T -D 55769 -o ConnectTimeout=15 Lilac.local
[09:26:08.093] > local-server-1> Spawned ssh, pid=11296
[09:26:08.105] stderr> OpenSSH_9.8p1, LibreSSL 3.3.6
[09:26:08.384] stderr> ssh: connect to host lilac.local port 22: No route to host
[09:26:08.385] > local-server-1> ssh child died, shutting down
[09:26:08.392] Local server exit: 0
[09:26:08.393] Received install output: local-server-1> Running ssh connection command: ssh -v -T -D 55769 -o ConnectTimeout=15 Lilac.local
local-server-1> Spawned ssh, pid=11296
OpenSSH_9.8p1, LibreSSL 3.3.6
ssh: connect to host lilac.local port 22: No route to host
local-server-1> ssh child died, shutting down
[09:26:08.395] Resolver error: Error: No route to host
at v.Offline (/Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/extension.js:2:501455)
at /Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/extension.js:2:497518
at t.handleInstallOutput (/Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/extension.js:2:497661)
at e (/Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/extension.js:2:553052)
at process.processTicksAndRejections (node:internal/process/task_queues:95:5)
at async /Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/extension.js:2:575341
at async t.withShowDetailsEvent (/Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/extension.js:2:579017)
at async /Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/extension.js:2:549757
at async T (/Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/extension.js:2:547808)
at async t.resolveWithLocalServer (/Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/extension.js:2:549297)
at async k (/Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/extension.js:2:572473)
at async t.resolve (/Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/extension.js:2:576428)
at async /Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/extension.js:2:844803
[09:26:08.399] ------
[09:26:08.952] Opening exec server for ssh-remote+7b22686f73700e616d65223a224c696c61632e6c6f63616c227d
[09:26:08.968] Acquiring local install lock: /var/folders/v4/hrbl1rxj7yj3_3xddd8wh6zc0000gn/T/vscode-remote-ssh-5e26f877-install.lock
[09:26:08.968] Initizing new exec server for ssh-remote+7b22686f73700e616d65223a224c696c61632e6c6f63616c227d
[09:26:08.971] Looking for existing server data file at /Users/neptune/Library/Application Support/Code/User/globalStorage/ms-vscode-remote.remote-ssh/vscode-ssh-host-5e26f877-38c31bc77e0nn6ae88a4e9cc93428cc27a56ba40-0.114.3-es/data.json
[09:26:08.985] Opening exec server for ssh-remote+7b22686f73700e616d65223a224c696c61632e6c6f63616c227d
[09:26:08.986] No existing data file
[09:26:08.986] Using commit id "38c31bc77e0nn6ae88a4e9cc93428cc27a56ba40" and quality "stable" for server
[09:26:08.999] Script variables:
{
"InstallExitCode.24": "AlreadyInProgress",
"InstallExitCode.25": "ServerDownloadFailed",
"InstallExitCode.26": "NoDownloaderAvailable",
"InstallExitCode.27": "UnsupportedArch",
"InstallExitCode.28": "StatusCheckFailed",
"InstallExitCode.29": "NeedInsidersArch",
"InstallExitCode.30": "NoDownloaderAvailableForStatusCheck",
"InstallExitCode.31": "ServerTransferFailed",
"InstallExitCode.32": "ServerFailedToStart",
"InstallExitCode.33": "NeedInsidersWindows",
"InstallExitCode.34": "CreateInstallDirFailed",
"InstallExitCode.35": "UnsupportedPlatform",
"InstallExitCode.36": "ServerTerminatedCVE20201416",
"InstallExitCode.37": "UnpackFailed",
"InstallExitCode.38": "ChangeDirFailed",
"InstallExitCode.AlreadyInProgress": "24",
"InstallExitCode.ServerDownloadFailed": "25",
"InstallExitCode.NoDownloaderAvailable": "26",
"InstallExitCode.NoDownloaderAvailableForStatusCheck": "30",
"InstallExitCode.UnsupportedArch": "27",
"InstallExitCode.StatusCheckFailed": "28",
"InstallExitCode.NeedInsidersArch": "29",
"InstallExitCode.ServerTransferFailed": "31",
"InstallExitCode.ServerFailedToStart": "32",
"InstallExitCode.NeedInsidersWindows": "33",
"InstallExitCode.CreateInstallDirFailed": "34",
"InstallExitCode.UnsupportedPlatform": "35",
"InstallExitCode.ServerTerminatedCVE20201416": "36",
"InstallExitCode.UnpackFailed": "37",
"InstallExitCode.ChangeDirFailed": "38",
"InstallUnpackCode.Success": "success",
"InstallUnpackCode.Error": "error",
"InstallUnpackCode.MissingFiles": "missingFiles",
"uuid": "145c87f9dce5",
"startMarker": "145c87f9dce5: running",
"commitId": "38c31bc77e0nn6ae88a4e9cc93428cc27a56ba40",
"quality": "stable",
"token": "1aaa1111-1111-1111-111a-111aa11aa11a",
"vscodeAgentFolder": "$HOME/.vscode-server",
"allowClientDownload": "1",
"forceClientDownload": "0",
"cliNameInArchive": "code",
"ignoreWgetConfigFlag": " --no-config ",
"ignoreCurlConfigFlag": " --disable ",
"wgetTriesSegment": "--tries=1",
"listenArgs": "--on-host=127.0.0.1 --on-port",
"getDownloadServerStartTrigger": "145c87f9dce5:trigger_server_download",
"getDownloadServerEndTrigger": "145c87f9dce5:trigger_server_download_end",
"getProgressDownloading": "145c87f9dce5%%1%%",
"getProgressInstalling": "145c87f9dce5%%2%%"
}
[09:26:09.000] Install and start server if needed
[09:26:09.125] askpass server listening on /var/folders/v4/hrbl1rxj7yj3_3xddd8wh6zc0000gn/T/vscode-ssh-askpass-6c7a97dc6fb9d32942bbb16edd763bc6837d0405.sock
[09:26:09.126] Spawning local server with {"serverId":2,"ipcHandlePath":"/var/folders/v4/hrbl1rxj7yj3_3xddd8wh6zc0000gn/T/vscode-ssh-askpass-0fcb5bdca352c88cea7db1f5cfda532fd10f5516.sock","sshCommand":"ssh","sshArgs":["-v","-T","-D","55769","-o","ConnectTimeout=15","Lilac.local"],"serverDataFolderName":".vscode-server","dataFilePath":"/Users/neptune/Library/Application Support/Code/User/globalStorage/ms-vscode-remote.remote-ssh/vscode-ssh-host-5e26f877-38c31bc77e0nn6ae88a4e9cc93428cc27a56ba40-0.114.3-es/data.json"}
[09:26:09.126] Local server env: {"SSH_AUTH_SOCK":"/private/tmp/com.apple.launchd.zIB4Zu95iz/Listeners","SHELL":"/bin/zsh","DISPLAY":"1","ELECTRON_RUN_AS_NODE":"1","SSH_ASKPASS":"/Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/local-server/askpass.sh","VSCODE_SSH_ASKPASS_NODE":"/Applications/Visual Studio Code.app/Contents/Frameworks/Code Helper (Plugin).app/Contents/MacOS/Code Helper (Plugin)","VSCODE_SSH_ASKPASS_EXTRA_ARGS":"","VSCODE_SSH_ASKPASS_MAIN":"/Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/askpass-main.js","VSCODE_SSH_ASKPASS_HANDLE":"/var/folders/v4/hrbl1rxj7yj3_3xddd8wh6zc0000gn/T/vscode-ssh-askpass-6c7a97dc6fb9d32942bbb16edd763bc6837d0405.sock"}
[09:26:09.127] Spawned 11299
[09:26:09.329] > local-server-2> Running ssh connection command: ssh -v -T -D 55769 -o ConnectTimeout=15 Lilac.local
[09:26:09.333] > local-server-2> Spawned ssh, pid=11306
[09:26:09.345] stderr> OpenSSH_9.8p1, LibreSSL 3.3.6
[09:26:09.349] stderr> ssh: connect to host lilac.local port 22: No route to host
[09:26:09.352] > local-server-2> ssh child died, shutting down
[09:26:09.360] Local server exit: 0
[09:26:09.361] Received install output: local-server-2> Running ssh connection command: ssh -v -T -D 55769 -o ConnectTimeout=15 Lilac.local
local-server-2> Spawned ssh, pid=11306
OpenSSH_9.8p1, LibreSSL 3.3.6
ssh: connect to host lilac.local port 22: No route to host
local-server-2> ssh child died, shutting down
[09:26:09.362] Exec server for ssh-remote+7b22686f73700e616d65223a224c696c61632e6c6f63616c227d failed: Error: No route to host
[09:26:09.362] Existing exec server for ssh-remote+7b22686f73700e616d65223a224c696c61632e6c6f63616c227d errored (Error: No route to host)
[09:26:09.362] Acquiring local install lock: /var/folders/v4/hrbl1rxj7yj3_3xddd8wh6zc0000gn/T/vscode-remote-ssh-5e26f877-install.lock
[09:26:09.362] Initizing new exec server for ssh-remote+7b22686f73700e616d65223a224c696c61632e6c6f63616c227d
[09:26:09.363] Error opening exec server for ssh-remote+7b22686f73700e616d65223a224c696c61632e6c6f63616c227d: Error: No route to host
[09:26:09.363] Looking for existing server data file at /Users/neptune/Library/Application Support/Code/User/globalStorage/ms-vscode-remote.remote-ssh/vscode-ssh-host-5e26f877-38c31bc77e0nn6ae88a4e9cc93428cc27a56ba40-0.114.3-es/data.json
[09:26:09.364] No existing data file
[09:26:09.364] Using commit id "38c31bc77e0nn6ae88a4e9cc93428cc27a56ba40" and quality "stable" for server
[09:26:09.366] Script variables:
{
"InstallExitCode.24": "AlreadyInProgress",
"InstallExitCode.25": "ServerDownloadFailed",
"InstallExitCode.26": "NoDownloaderAvailable",
"InstallExitCode.27": "UnsupportedArch",
"InstallExitCode.28": "StatusCheckFailed",
"InstallExitCode.29": "NeedInsidersArch",
"InstallExitCode.30": "NoDownloaderAvailableForStatusCheck",
"InstallExitCode.31": "ServerTransferFailed",
"InstallExitCode.32": "ServerFailedToStart",
"InstallExitCode.33": "NeedInsidersWindows",
"InstallExitCode.34": "CreateInstallDirFailed",
"InstallExitCode.35": "UnsupportedPlatform",
"InstallExitCode.36": "ServerTerminatedCVE20201416",
"InstallExitCode.37": "UnpackFailed",
"InstallExitCode.38": "ChangeDirFailed",
"InstallExitCode.AlreadyInProgress": "24",
"InstallExitCode.ServerDownloadFailed": "25",
"InstallExitCode.NoDownloaderAvailable": "26",
"InstallExitCode.NoDownloaderAvailableForStatusCheck": "30",
"InstallExitCode.UnsupportedArch": "27",
"InstallExitCode.StatusCheckFailed": "28",
"InstallExitCode.NeedInsidersArch": "29",
"InstallExitCode.ServerTransferFailed": "31",
"InstallExitCode.ServerFailedToStart": "32",
"InstallExitCode.NeedInsidersWindows": "33",
"InstallExitCode.CreateInstallDirFailed": "34",
"InstallExitCode.UnsupportedPlatform": "35",
"InstallExitCode.ServerTerminatedCVE20201416": "36",
"InstallExitCode.UnpackFailed": "37",
"InstallExitCode.ChangeDirFailed": "38",
"InstallUnpackCode.Success": "success",
"InstallUnpackCode.Error": "error",
"InstallUnpackCode.MissingFiles": "missingFiles",
"uuid": "9934211430c9",
"startMarker": "9934211430c9: running",
"commitId": "38c31bc77e0nn6ae88a4e9cc93428cc27a56ba40",
"quality": "stable",
"token": "111a1111-a111-1a1a-aa1a-11aaa1111a11",
"vscodeAgentFolder": "$HOME/.vscode-server",
"allowClientDownload": "1",
"forceClientDownload": "0",
"cliNameInArchive": "code",
"ignoreWgetConfigFlag": " --no-config ",
"ignoreCurlConfigFlag": " --disable ",
"wgetTriesSegment": "--tries=1",
"listenArgs": "--on-host=127.0.0.1 --on-port",
"getDownloadServerStartTrigger": "9934211430c9:trigger_server_download",
"getDownloadServerEndTrigger": "9934211430c9:trigger_server_download_end",
"getProgressDownloading": "9934211430c9%%1%%",
"getProgressInstalling": "9934211430c9%%2%%"
}
[09:26:09.368] Install and start server if needed
[09:26:09.372] askpass server listening on /var/folders/v4/hrbl1rxj7yj3_3xddd8wh6zc0000gn/T/vscode-ssh-askpass-0e6c4eff8c06ed23443f6848fd4c0a19b68094c4.sock
[09:26:09.373] Spawning local server with {"serverId":3,"ipcHandlePath":"/var/folders/v4/hrbl1rxj7yj3_3xddd8wh6zc0000gn/T/vscode-ssh-askpass-5f62d0c5d240ed519029481cc905f8010fa9e3ee.sock","sshCommand":"ssh","sshArgs":["-v","-T","-D","55769","-o","ConnectTimeout=15","Lilac.local"],"serverDataFolderName":".vscode-server","dataFilePath":"/Users/neptune/Library/Application Support/Code/User/globalStorage/ms-vscode-remote.remote-ssh/vscode-ssh-host-5e26f877-38c31bc77e0nn6ae88a4e9cc93428cc27a56ba40-0.114.3-es/data.json"}
[09:26:09.373] Local server env: {"SSH_AUTH_SOCK":"/private/tmp/com.apple.launchd.zIB4Zu95iz/Listeners","SHELL":"/bin/zsh","DISPLAY":"1","ELECTRON_RUN_AS_NODE":"1","SSH_ASKPASS":"/Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/local-server/askpass.sh","VSCODE_SSH_ASKPASS_NODE":"/Applications/Visual Studio Code.app/Contents/Frameworks/Code Helper (Plugin).app/Contents/MacOS/Code Helper (Plugin)","VSCODE_SSH_ASKPASS_EXTRA_ARGS":"","VSCODE_SSH_ASKPASS_MAIN":"/Users/neptune/.vscode/extensions/ms-vscode-remote.remote-ssh-0.114.3/out/askpass-main.js","VSCODE_SSH_ASKPASS_HANDLE":"/var/folders/v4/hrbl1rxj7yj3_3xddd8wh6zc0000gn/T/vscode-ssh-askpass-0e6c4eff8c06ed23443f6848fd4c0a19b68094c4.sock"}
[09:26:09.374] Spawned 11307
[09:26:09.564] > local-server-3> Running ssh connection command: ssh -v -T -D 55769 -o ConnectTimeout=15 Lilac.local
[09:26:09.568] > local-server-3> Spawned ssh, pid=11314
[09:26:09.580] stderr> OpenSSH_9.8p1, LibreSSL 3.3.6
[09:26:09.584] stderr> ssh: connect to host lilac.local port 22: No route to host
[09:26:09.586] > local-server-3> ssh child died, shutting down
[09:26:09.592] Local server exit: 0
[09:26:09.593] Received install output: local-server-3> Running ssh connection command: ssh -v -T -D 55769 -o ConnectTimeout=15 Lilac.local
local-server-3> Spawned ssh, pid=11314
OpenSSH_9.8p1, LibreSSL 3.3.6
ssh: connect to host lilac.local port 22: No route to host
local-server-3> ssh child died, shutting down
[09:26:09.594] Exec server for ssh-remote+7b22686f73700e616d65223a224c696c61632e6c6f63616c227d failed: Error: No route to host
[09:26:09.594] Error opening exec server for ssh-remote+7b22686f73700e616d65223a224c696c61632e6c6f63616c227d: Error: No route to host
根据网上的研究，我尝试降级 VSCode 和 SSH Remote 插件。重新安装了 Raspberry Pi 操作系统并设置了 SSH。
另外 VS Code 终端：
ssh [email protected] -v
OpenSSH_9.8p1, LibreSSL 3.3.6
debug1: Reading configuration data /Users/neptune/.ssh/config
debug1: /Users/neptune/.ssh/config line 1: Applying options for Lilac.local
debug1: Reading configuration data /etc/ssh/ssh_config
debug1: /etc/ssh/ssh_config line 21: include /etc/ssh/ssh_config.d/* matched no files
debug1: /etc/ssh/ssh_config line 54: Applying options for *
debug1: Authenticator provider $SSH_SK_PROVIDER did not resolve; disabling
debug1: Connecting to lilac.local port 22.
ssh: connect to host lilac.local port 22: Undefined error: 0
我不明白为什么 Visual Studio Code 用蓝色下划线标记 Compute 命令。错误消息没有说明这一点。
Inductive day : Type :=
| monday
| tuesday
| wednesday
| thursday
| friday
| saturday
| sunday.
Definition next_weekday (d:day) : day :=
match d with
| monday => tuesday
| tuesday => wednesday
| wednesday => thursday
| thursday => friday
| friday => monday
| saturday => monday
| sunday => monday
end.
Compute (next_weekday friday).
Compute (next_weekday (next_weekday saturday)).
Example test_next_weekday:
(next_weekday (next_weekday saturday)) = tuesday.
我当时正好想写代码，但是当我打开应用程序时，发生了以下事情：
这只是一行接一行地显示。但是当我将鼠标悬停在该行上时，它会消失并恢复正常，但仅限于该部分。
我该如何修复这个问题？我不会这样编码。