腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(635)
视频
沙龙
1
回答
Kami
(
Coq
framework
for
Bluespec
)
的
正确
设置
是什么
才
能在
WSL
Ubuntu
上
运行
?
ubuntu
、
makefile
、
windows-subsystem-for-linux
、
coq
、
bluespec
我目前正在使用最新
的
Kami
的
repo文件,但是当我尝试
运行
Makefile时,还没能克服一个问题。我发现另一个帖子有类似的请求at this link,但没有回应。我在
WSL
Ubuntu
20.04操作系统
上
使用
Coq
proof assistant v8.11.0和OCaml v4.08.1 错误信息如下所示 Warning: no common logicalmake -f Makefile.
coq
.all make[1]:
浏览 71
提问于2021-11-09
得票数 0
回答已采纳
1
回答
在
WSL
上
为
Ubuntu
创建一个新
的
顶级管理用户
users
、
windows-subsystem-for-linux
、
adduser
将标准
Ubuntu
替换为
WSL
-10w/ "
WSL
Ubuntu
" 五年来,我用GUI桌面引导
Ubuntu
发行版;今年,我
的
教授强迫我把Windows添加到我
的
机器
上
。无论出于什么原因,我都无法登录
Ubuntu
,但是
WSL
和
Ubuntu
似乎
运行
良好,所以我只使用了世界
上
最著名
的
Linux工作,并以root身份登录(这
浏览 0
提问于2021-08-26
得票数 0
回答已采纳
1
回答
从网络
上
的
另一台PC上访问在
Ubuntu
/
WSL
中
运行
的
web应用程序
networking
、
20.04
、
kernel
、
permissions
、
windows-subsystem-for-linux
我使用
的
是
WSL
中
的
Windows 10和
Ubuntu
20.04.04LTS(来自微软商店)。它
运行
的
软件,有一个网络接口,我可以访问这个应用程序,没有任何问题,在这台电脑
上
使用边缘连接到localhost:4040。 不幸
的
是,这是不可
能在
同一网络中
的
另一台PC。我需要配置什么,以便网络
上
的
另一台PC也可以访问在
WSL
上
Ubuntu</
浏览 0
提问于2022-04-21
得票数 3
回答已采纳
1
回答
在
WSL
2 (
Ubuntu
分发版)和Windows
上
的
Spring应用程序
上
运行
Kafka汇合平台(Broker可能不可用)
windows
、
apache-kafka
、
windows-subsystem-for-linux
、
wsl-2
我在
wsl
2(
Ubuntu
分发版)中
运行
Confluent,我还在Windows
上
运行
Spring应用程序,但是当我向生产者发送消息时,我有以下错误: advertised.listeners=PLAINTEXT:
浏览 1
提问于2022-03-22
得票数 1
回答已采纳
2
回答
如何将
WSL
上
的
Ubuntu
从一台笔记本电脑传输到另一台笔记本电脑?
backup
、
windows-subsystem-for-linux
、
restore
、
migration
、
cloning
Linux和
Ubuntu
的
新手。我正在尝试将我
的
旧
Ubuntu
文件传输到我
的
新Windows 11笔记本电脑。 我也曾经历过类似的问题,但似乎没有一个问题对我
的
案子有帮助。我试图在一个USB硬盘上克隆我
的
旧笔记本电脑
的
WSL
,这样我就可以将它传输到我
的
新笔记本
上
,但是当我输入lsblk或其他列出笔记本
上
的
驱动器
的
命令时,它并没有列出。来自评论<e
浏览 0
提问于2022-09-14
得票数 1
3
回答
WSL
Windows中
的
“bun”未找到错误
javascript
、
installation
、
windows-subsystem-for-linux
、
bun
首先,我在windows机器
上
运行
这个命令上面第一个命令
的
输出第二,我
运行
这个命令在文件中
设置
这个路径上述第二个命令
的
输出将这些变量
设置
为~/..bashrc文件之后。我试图使用以下命令检查刚刚安装
的
Bun版本:在
运行
上述命
浏览 10
提问于2022-07-11
得票数 2
回答已采纳
10
回答
如何使Windows 10终端启动
WSL
?
windows-subsystem-for-linux
、
windows-terminal
我正在使用新
的
Windows终端,并试图让它启动我
的
WSL
终端。这是我试图使用
的
设置
: "acrylicOpacity" : 0.75, "commandline" : "%LOCALAPPDATA%/
浏览 0
提问于2019-06-26
得票数 57
回答已采纳
2
回答
我闪亮
的
服务器在哪里?
ubuntu
、
webserver
、
windows-subsystem-for-linux
、
r
我尝试用
ubuntu
在我
的
windows机器
上
本地部署一个闪亮
的
服务器。如何检查我是根用户还是用户?(用于基本管理linux命令
的
源代码)? 我闪亮
的
服务器在哪?但为了我
的
目的,我希望能迈出下一步。任何导演
的
建议都是非常感谢
浏览 0
提问于2021-12-25
得票数 1
回答已采纳
2
回答
GoogleTv
上
的
远程调试
android
、
adb
、
remote-debugging
、
google-tv
在GoogleTv
上
做远程调试时,我遵循了这里提到
的
所有东西:问题是我可以在Windows机上进行远程调试,但同样
的
事情在
UBUNTU
上
却不起作用。在
Ubuntu
上
,当我这样做时:它显示已连接。但当我这么做
的
时候:我什么也没看出来。重新启动adb服务器没有任何帮助。
浏览 0
提问于2013-01-29
得票数 0
2
回答
哪个是更好
的
WSL
2或USB引导
Ubuntu
?
boot
、
dual-boot
、
usb
我已经开始使用
WSL
2几个星期了,我非常喜欢它。我把编码作为一种爱好,有时也是为了我
的
工作相关问题(物理相关
的
东西),但我不是一个软件开发人员或工程师。 目前,我正在使用Windows10。然而,我正在考虑从现在开始使用
Ubuntu
,并可
能在
未来选择另一个发行版。
Ubuntu
是长期使用或日常使用
的
好选择吗?还是我应该继续使用
WSL
2?我在考虑双靴,但我不想这么做,我想。因此,总之,作为日常使用
的
基础和不时编写代码,我应该放弃Windo
浏览 0
提问于2021-10-20
得票数 0
回答已采纳
2
回答
如何修复.bashrc文件第117行中
的
BASH错误?
bash
、
22.04
、
windows-subsystem-for-linux
我最近在Windows 10
上
安装了
WSL
2 (
Ubuntu
22.04)。每当我打开终端或在终端中输入bash时,它总是给我一个错误。(对不起,我无法从终端机复制。)我该怎么解决这个问题?📷bashrc起始行117中
的
代码。
浏览 0
提问于2023-03-04
得票数 1
4
回答
如何在windows 10商店
Ubuntu
应用程序
上
安装GUI?
lubuntu
、
windows
、
xorg
、
gui
、
windows-subsystem-for-linux
我想在我
的
Ubuntu
应用程序
上
安装Lubuntu,这是我从应用程序下载
的
。在安装了
WSL
()之后,我得到了一个类似于服务器版本
的
运行
版本(仅用于终端)。Server 1.20.8Build Operating System: Linux 4.15.0-115-generic x86_64
Ubuntu
line: BOOT_IMAGE=/kernel init=/
浏览 0
提问于2020-10-09
得票数 1
8
回答
使用
WSL
2
运行
时,如何将手机连接到世博?
react-native
、
expo
、
windows-subsystem-for-linux
每当我尝试
运行
expo start或npm start时,IP并不是我
的
LAN,而是我
的
WSL
2、eth0、IP,这会导致我
的
手机无法连接到世博会。我已经尝试过用REACT_NATIVE_PACKAGER_HOSTNAME命令
设置
export,它也会改变与expo相关
的
浏览器中
的
ip,但我认为它不会在该ip
上
运行
,因为我
的
手机将再次无法连接(我也关闭了防火墙对我来说,期望
的
事情是能
浏览 6
提问于2019-11-09
得票数 20
回答已采纳
3
回答
如何从
Ubuntu
的
Windows子系统
运行
Rstudio?
xubuntu
我
的
笔记本电脑有windows 10系统,我安装了
Ubuntu
子系统。我已经安装了Rstudio,但是当我
运行
它时,将显示"QXcbConnection:未能连接到显示,中止(内核转储)“。有人能告诉我如何在我
的
Linux子系统
上
运行
Rstudio吗?谢谢
浏览 0
提问于2019-01-16
得票数 4
9
回答
在
Ubuntu
(
WSL
1 &
WSL
2)中显示matplotlib绘图(和其他图形用户界面)
python
、
linux
、
matplotlib
、
windows-subsystem-for-linux
因此,在(用于linux
的
windows子系统)
上
,人们建议我们需要使用Agg后端,只需要保存图像,而不是显示情节。folks') plt.savefig("matplotlib.png") #savefig, don't show 我们如何才能把它带到plt.show()实际显示图像
的
地方呢我
的
目标是能够
运行
简单
的
例子,如上面的代码,而不改变代码
的
ftp,图像等。我只是想要
的
情节显示
浏览 24
提问于2017-04-13
得票数 111
回答已采纳
23
回答
如何在X11
上
设置
工作
WSL
2转发
windows-10
、
x11
、
windows-subsystem-for-linux
、
x11-forwarding
、
wsl-2
当从
WSL
1迁移到
WSL
2时,很多事情都会发生变化;显然,这也适用于X11转发。 我需要采取哪些步骤才能像对X11一样在
WSL
2 10
上
使用
WSL
2转发?
浏览 83
提问于2020-04-08
得票数 171
回答已采纳
3
回答
带有TightVnc和Windows子系统
的
默认
Ubuntu
桌面
gnome
、
vnc
、
windows-subsystem-for-linux
、
tightvncserver
我已经成功地在windows 10机器
上
安装了WLS (
ubuntu
18)。我想使用TightVnc访问它
的
UI特性。查看器连接到它,但是UI看起来像但是,我想使用
Ubuntu
18附带
的
默认桌面。📷
ubuntu
-communitheme-s
浏览 0
提问于2019-04-05
得票数 8
17
回答
窗口上
的
码头错误:输入设备不是TTY。如果使用mintty,请在命令前面加上'winpty‘。
windows
、
bash
、
git
、
docker
、
tty
我在MINGW64
的
Windows 8
上
运行
Docker。
浏览 0
提问于2018-02-05
得票数 116
1
回答
Next.JS - localhost在进行外部API调用时处于优势地位。
next.js
、
fetch
、
wsl-2
直到几天前,这个程序
才
完全正常
运行
--当应用程序发出API请求时,我可以在网络选项卡中看到它试图调用
的
URL,在需要调用
的
实际URL前面加上下一个应用程序
的
地址(localhost:3000),例如:它调用
的
不是自从我
的
应用程序工作以来,我没有做任何代码更改,但是,我正在对我
的
服务进行文档化,所以我用
Ubuntu
安装了Docker和
WSL
2。我在另一台机器上部署了这些容器,现在,当这个问题发生时,我调用
的</
浏览 3
提问于2021-09-12
得票数 0
回答已采纳
6
回答
无法启动调试: miDebuggerPath
的
值无效
visual-studio
、
visual-studio-code
、
gdb
、
windows-subsystem-for-linux
我想调试我
的
C代码。但是当我启动调试器
的
时候,就出现了错误:无法开始调试。miDebuggerPath
的
值无效。{ // Use IntelliSense to learn about possible att
浏览 0
提问于2019-05-28
得票数 18
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
微软不会将Windows迁移至Linux
Canonical成员:微软不会将 Windows 迁移到 Linux
恒讯科技分析:如何解决云服务器上MySQL数据库的常见问题?
Build 2020,微软终于重新聚焦开发者
血泪控诉:曝光数月的AMD微代码bug毁掉了我的周末
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券