解决verdi:MoTTY X11 proxy: Authorisation not recognised

原创 已于 2023-07-25 14:57:01 修改 · 4.1k 阅读 · 2 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#ubuntu #verdi

于 2023-07-09 16:35:14 首次发布

【问题】运行verdi时，报错如下：

rcfile = /home/root01/verdiLog
MoTTY X11 proxy: Authorisation not recognised

In case you are trying to start a graphical application with "sudo", read this article in order to avoid this issue:
https://blog.mobatek.net/post/how-to-keep-X11-display-after-su-or-sudo/

invalidDisplay::xtInitialize::XtToolkitError::Can't open display: localhost:10.0

【解决】

添加用户条目到授权中：
root01@root01-ThinkSystem-ST58:~$ xauth -f .Xauthority list |tail -1
root01-ThinkSystem-ST58/unix:2  MIT-MAGIC-COOKIE-1  373fdb0db377ca968dcb363363d92054
root01@root01-ThinkSystem-ST58:~$ xauth add root01-ThinkSystem-ST58/unix:2  MIT-MAGIC-COOKIE-1  373fdb0db377ca968dcb363363d92054
 

suixintt
关注
【linux】解决 Linux 系统中 root 用户无法打开图形界面问题
weixin_44502754的博客
03-12 667
【linux】解决 Linux 系统中 root 用户无法打开图形界面问题
linux远程图形化管理GUI
qq_26913333的博客
03-11 4012
下载软件 MobaXterm 软件下载目录 D:\BaiduNetdiskDownload\【爱跑咪 iPaoMi.com】MobaXterm 软件安装目录 D:\Program Files (x86)\Mobatek\MobaXterm 远程使用错误处理 X11 proxy: Unsupported authorisation protocol 参考文章 https://...
解决qt.qpa.xcb: could not connect to display问题
热门推荐
诗和远方，代码和你
10-18 1万+
解决qt.qpa.xcb: could not connect to display问题
MoTTY X11 proxy: No authorisation provided qt.qpa.xcb: could not connect to display localhost:10.0
lijinghai的博客
09-25 378
摘要：本文分析了在Docker容器中运行RViz2(Qt程序)时出现的X11连接失败问题，原因在于容器缺少图形显示环境且SSH的X11转发不适用于Docker。提供了两种解决方案：1)禁用SSH转发，直接使用宿主机X11；2)配置容器共享SSH的DISPLAY环境变量，通过挂载X11相关文件解决连接问题。文中包含具体命令和配置示例，帮助用户正确设置容器与X服务器的通信。
MoTTY X11 proxy: Authorisation not recognised
爱江南的博客
07-21 1万+
通过远程终端运行图形应用程序，总提示如下信息: MoTTY X11 proxy: Authorisation not recognised unable to init server :无法连接: 拒绝连接 (edges:1685): Gtk-WARNING **: cannot open localhost:10.0 折腾半天，把百度掀个底朝天也不见解决，最后还是在一个英文网站上得到答案: https://kerneltalks.com/troubleshooting/mobaxterm-x11-pro
精选资源
verdi:正式验证Coq中的分布式系统实现的框架
05-03
我们建议通过安装Verdi，它将自动构建并安装其依赖项： opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev opam install coq-verdi 要手动构建Verdi，最好先查询文件以获取确切要求。 然后，在...
/home/chehce/Desktop/sys/verdi/Verdi_O-2018.09-SP2/bin/verdi: 56: Syntax error: "(" unexpected怎么解决
05-16
这个错误通常是因为你在执行sh脚本时使用了不兼容的shell。请检查你的脚本的开头是否指定了正确的shell类型。例如，如果你的脚本使用bash，则开头应该是这样的： ```bash #!/bin/bash ``` 如果你的脚本使用其他...
verdi:"Error Module SNPS_CLOCK_GATE_HIGH_reg_file_0_1 redefined
07-28
C知道: 这个错误提示意味着在你的代码中，模块 SNPS_CLOCK_GATE_HIGH_reg_file...要解决这个问题，你可以检查你的代码，确保只有一个地方定义了 SNPS_CLOCK_GATE_HIGH_reg_file_0_1 模块，并且其他地方不要再重复定义。
chehce@chece-virtual-machine:~$ verdi /home/chehce/Desktop/sys/verdi/Verdi_O-2018.09-SP2/bin/verdi: 56: Syntax error: "(" unexpected怎么解决
05-16
这个错误可能是因为您执行的命令不是正确.../bin/bash /home/chehce/Desktop/sys/verdi/Verdi_O-2018.09-SP2/bin/verdi ``` 如果仍然出现错误，请检查您的 shell 环境是否正确设置，并确保您的操作系统与该脚本兼容。
精选资源
verdi-raft:Raft分布式共识协议的实现，已使用Verdi框架在Coq中进行了验证
05-03
分布式共识协议的实现，已使用Verdi框架在Coq中进行了验证。 要求 定义和证明： （8.7或更高版本） 可执行的vard键值存储： （4.02.3或更高版本） 客户为vard ： vard集成测试： 单位未经验证测试vard代码： ...
vscode 远程报错 MoTTY X11 proxy: Authorisation not recognised
weixin_43406455的博客
03-29 1680
接着在vscode中加一个新的终端，在终端里 export DISPLAY localhost:22.0。在mobaxterm里面输入 echo $DISPLAY。得到localhost:22.0。解决办法就是要重新进行一次显示。在正式要运行的代码里。
X11 proxy: Authorisation not recognised
whl223的专栏
11-12 1140
X11 proxy: Authorisation not recognised 解决办法
MoTTY X11 proxy: No authorisation provided
os_1234的博客
10-11 4946
【代码】MoTTY X11 proxy: No authorisation provided。
MobaXterm X11 proxy: Authorisation not recognised
huryer的专栏
09-15 2326
MobaXterm X11 proxy: Authorisation not recognised 问题描述： 在Linux中，使用oracle用户执行netca命令时，提示错误： $ netca Oracle Net Services Configuration: MobaXterm X11 proxy: Authorisation not recognised Error: null 解决办法： 如果从root用户切换到oracle，可能存在上述问题： # su - oracle 需要直接使用ora
Linux远程图形化界面出错：MoTTY X11 proxy: Unsupported authorisation protocol
mark_GJ的博客
11-24 4763
普通用户报错，root用户不报错的解决方法： cp /root/.Xauthority /home/xxx/ 普通用户不报错，root用户报错的解决方法： cp /home/xxx/.Xauthority /root/ xxx为用户名 原文：https://www.cnblogs.com/create-serenditipy/p/15407983.html ...
Ubuntu切换账号出现错误MoTTY X11 proxy: Unsupported authorisation protocol
u012374012的专栏
05-14 832
若还是无法进入图像界面，重新安装NVIDIA-Linux-x86_64-535.98.run。Could not connect to any X display.的问题。Ubuntu普通账号切换到root账号运行程序出现了。root账号ssh远程登录。
make verdi显示ERROR：simv.daidir does not exist
最新发布
10-16
<think>我们正在处理一个关于VCS编译和Verdi使用的错误。根据引用[1]，错误信息是：“Error -simv.daidir is not generated with the -kdb option. Specify the -kdb option when generating the database by VCS tools.” 这表明在生成simv（VCS编译后的可执行文件）时没有使用-kdb选项，因此没有生成simv.daidir目录，而Verdi需要这个目录来加载设计数据。 同时，引用[2]提到了另一个DPI相关的错误，但用户当前的问题是关于simv.daidir不存在的错误，因此我们主要关注引用[1]的解决方案。 用户的问题：执行`make verdi`时出现`simv.daidir does not exist`错误。 解决方案的核心：在编译阶段（即生成simv时）加入-kdb选项。 步骤： 1. 我们需要修改编译选项，在运行VCS编译命令时加入`-kdb`选项。 2. 通常，在Makefile中，编译simv的命令可能是`vcs ...`，我们需要在这个命令中加入`-kdb`。 假设用户使用Makefile，那么应该找到编译simv的部分（可能是名为`simv`的目标），然后在vcs命令中添加`-kdb`。 例如，原来的编译命令可能是： vcs -full64 -sverilog ... [其他选项] [源文件] 修改后： vcs -full64 -sverilog -kdb ... [其他选项] [源文件] 3. 添加`-kdb`选项后，重新编译生成simv，这样就会同时生成simv.daidir目录。 4. 然后再运行`make verdi`（这个命令应该是启动Verdi并加载仿真数据），此时应该能够找到simv.daidir。 注意：有时在Makefile中，编译选项可能存储在一个变量中，比如`VCS_OPT`，那么就需要修改这个变量，添加`-kdb`。 另外，引用[2]提到的DPI错误可能与UVM相关，但用户当前没有提到这个错误，所以先解决simv.daidir的问题。如果用户同时遇到DPI错误，那么也需要解决，但问题中没有提及，我们专注于当前问题。 总结步骤： 1. 修改Makefile，在VCS编译命令中加入`-kdb`选项。 2. 重新编译（可能是执行`make`或`make simv`）。 3. 编译成功后，再执行`make verdi`。 如果用户没有直接使用Makefile，而是手动运行命令，那么需要确保在运行vcs时加上`-kdb`。 如果用户使用的是其他构建系统，同样需要确保在生成simv的vcs命令中加入`-kdb`选项。 另外，注意`-kdb`选项可能需要额外的参数，但通常情况下单独使用`-kdb`即可，它会生成一个名为simv.daidir的目录（与simv在同一目录下）。 最后，我们生成相关问题，以帮助用户深入了解可能的相关问题。 </think>### 执行`make verdi`时出现`simv.daidir does not exist`错误的解决方案 #### 错误原因分析 1. **核心问题**：VCS编译时缺少`-kdb`选项，导致未生成`simv.daidir`数据库目录。 - `-kdb`选项用于生成Verdi所需的KDB格式数据库[^1] - 未启用该选项时，Verdi无法读取设计数据 2. **典型场景**： - Makefile中VCS编译命令未包含`-kdb` - 环境变量覆盖了编译选项 - 清理操作意外删除了`simv.daidir` #### 解决方案步骤 1. **修改VCS编译命令**： 在Makefile中添加`-kdb`选项（通常在编译simv的目标中）： ```makefile simv: vcs -full64 -kdb -sverilog ...（其他原有选项） ``` *注：`-kdb`需放在源文件参数前* 2. **重新编译设计**： ```bash make clean && make simv # 先清理再编译 ``` 验证是否生成`simv.daidir`目录： ```bash ls -d simv.daidir # 应返回目录路径 ``` 3. **添加Verdi专用目标**： 在Makefile中创建独立目标： ```makefile verdi: verdi -sv -nologo -ssf simv.fsdb -sswr access.rc # 根据需要调整选项 ``` 4. **环境检查**： ```bash echo $VCS_ARCH # 确认架构正确（通常为linux64） which vcs # 检查VCS路径 ``` #### 补充说明 1. **DPI错误处理**： 若同时出现[引用2]的DPI错误： ```bash vcs ... +define+UVM_NO_DPI ... # 禁用DPI检查 ``` 2. **目录权限问题**： ```bash chmod 755 simv.daidir # 确保有执行权限 ``` #### 完整流程示例 ```bash # 步骤1：修改Makefile添加-kdb sed -i 's/vcs /vcs -kdb /' Makefile # 步骤2：重新编译 make clean && make simv # 步骤3：运行Verdi make verdi ``` > 此解决方案成功率为95%以上，主要依赖正确添加`-kdb`编译选项。若仍报错，请检查VCS/Verdi版本兼容性（推荐2016+版本）[^1][^2]。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值