我对Linux世界还比较陌生，我知道RPM是Linux依赖项中的一个包标准。
我一直想在我最喜欢的平板电脑上安装Atom编辑器，它拥有最新版本的Android。
下面是包上的链接：https://atom.io/docs/v0.194.0/getting-started-installing-atom
我可以下载它们，但是在Android上安装它的下一步是什么呢？
浏览 0提问于2015-12-27得票数 0
回答已采纳
1回答
我在我的Nuvision TM800W610L平板电脑上尝试了下面的代码，但没有一个显示结果。
lspci -nn | grep Net
lspci -knn | grep Net -A2
lspci -nn -d 14e4:
关于无线芯片，我只知道它是平板电脑中的broadcom。在windows 10下，它显示为“Broadcom802.11n无线SDIO适配器(1.576.12.0)”，使用Wifi usb棒，我成功地使用了下面的代码，这是我第一次安装Ubuntu18.10时使用的代码
sudo apt-get purge bcmwl-kernel-source
sudo apt i
浏览 0提问于2019-03-06得票数 2
我使用的是64位的crunnchbang linux。我安装了atom文本编辑器，但当我试图启动它时，它给出了错误。输出如下：
shunya@crunchbang:~$ atom
shunya@crunchbang:~$ /usr/share/atom/atom: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.14' not found (required by /usr/share/atom/atom)
/usr/share/atom/atom: /lib/x86_64-linux-gnu/libc.so.6: version
浏览 2提问于2015-04-23得票数 2
回答已采纳
2回答
实际上，我已经完整地阅读了谷歌源码和其他步骤中的，但我搞混了！
我的平板电脑运行AOSP (安卓5.1.1_r1，代号: inet_phone_32)，由英特尔atom处理器驱动，
**我真的需要一个开发人员完整地告诉我，一步一步地为我的平板电脑构建AOSP。(**没有程序可以让平板电脑运行它的安卓操作系统、SYSTEM.IMG、BOOT.IMG、RECOVERY.IMG……)
谢谢。
浏览 0提问于2017-01-12得票数 2
1回答
如何为原子制作别名？
、、、
在linux中，可以通过命令atom来运行atom编辑器吗？我试过了
atom
Command 'atom' is available in '/snap/bin/atom'
The command could not be located because '/snap/bin' is not included in the PATH environment variable.
atom: command not found
浏览 0提问于2019-07-23得票数 0
回答已采纳
在Linux Ubuntu上升级atom最好的方法是什么？我使用官方文档安装atom
git clone https://github.com/atom/atom
cd atom
script/build
sudo script/grunt install
浏览 99提问于2014-07-15得票数 79
回答已采纳
我有一个家庭网络，有几个窗口和安装了samba的Linux机器。
在Windows上，我可以通过主机名找到彼此的计算机。
然而，在Linux计算机上，我无法通过主机名找到任何其他计算机--只有IP地址才能工作。
实际上，Linux似乎甚至无法解决它自己：
user@atom:~$ host atom
Host atom not found: 3(NXDOMAIN)
浏览 0提问于2014-08-08得票数 5
我试图在Linux的Windows子系统下运行Ubuntu20.04中的Atom编辑器。
我安装了Ubuntu，然后是Node.js。两个人似乎都很好。然后，我按照有关本站安装Atom的说明进行操作。
然后，当我运行atom时，会得到以下内容：
ro@PC:~$ atom
expr: syntax error: missing argument after ‘8’
ro@PC:~$ /usr/bin/atom: line 195: 89 Segmentation fault nohup "$ATOM_PATH" --executed-from="$(pw
浏览 0提问于2022-04-26得票数 2
回答已采纳
代码已经在ARM平板电脑上调试过，我使用带有Intel的Android平板电脑来测试我的应用程序的原生x86代码(.so由NDK生成).
如所料，1) CPU-Z实用程序给出了"Architecture x86“和"CPU Intel Atom Z3735G”2) "adb shell cat /proc/cpuinfo“给出了”模型名称: Intel(R) Atom(TM) CPU Z3735G @ 1.33GHz“。
当应用程序意外启动时，1) Log.d (标签，"CPU:"+ android.os.Build.CPU_ABI)给出："CP
浏览 2提问于2015-04-06得票数 1
是否可以使用Delphi XE5或RAD XE5为Windows8RT(基于ARM的平板电脑)和Windows 8创建应用程序，使用与安卓和iOS相同的代码(火猴)？
我在上搜索了Embarcadero的网站，但这对避免提及Windows8RT和Windows 8大有帮助。
你的应用程序将运行在Windows台式机和基于x86的平板电脑上，包括英特尔和英特尔的Atom硬件，如微软表面专业()、惠普( HP )的平板电脑、华硕( Asus )等，以及宏碁( Acer )、三星( Samsung )等公司基于AMD处理器的平板电脑。
这是否意味着Delphi/RAD XE5不支持Windo
浏览 4提问于2014-01-03得票数 1
回答已采纳
1回答
我有一台平板电脑，其中央处理器是Intel Atom z3735g@1.33ghz，带有Windows 8，系统损坏，无法工作，所以我想安装Ubuntu。
是否有Ubuntu、桌面Ubuntu、Ubuntu或其他Ubuntu支持此处理器？
浏览 0提问于2016-09-27得票数 0
我为正在构建的平台定义了一个toolchain.cmake，并在其中指定了要安装文件的位置。但是，当我运行make install时，文件会转到默认位置/usr/....。我的toolchain.cmake设置如下：
# this one is important
SET(CMAKE_SYSTEM_NAME Linux)
#this one not so much
SET(CMAKE_SYSTEM_VERSION 1)
# specify the cross compiler
SET(CMAKE_C_COMPILER /usr/local/naoqi-sdk-2.1.4.13-mac64
浏览 4提问于2017-06-25得票数 1
我使用一个x86工具链在QTCreator3.4.0(开放源码)中构建二进制文件。有一个/usr/bin/gcc和一个<path-to-toolchain>/i686-atom-linux-gnu-gcc，我想使用i686-atom-linux-gnu-gcc。
Compiler path in Build&Run->Compilers->Compiler path正确地设置为指向i686-atom-linux-gnu-gcc。
当我试图观察来自Makefile的命令正在被执行时，它总是显示编译器是gcc，而它应该有一个编译器前缀(i686-atom-linux
浏览 4提问于2015-05-18得票数 0
回答已采纳
我是Linux的新手(30年的MS用户，都是从DOS开始的)并且成功地安装了Xubuntu18.04(我第一次安装Linux )，也有几个程序，其中一个是Atom文本编辑器，它安装了一些在互联网上找到的命令行，显然是在一些"Flatpak包管理器“的帮助下完成的(我后来才了解到有几种类型的数据包管理器可以帮助用户在Linux上安装一个程序，而且我曾经使用过)，现在我想卸载are编辑器，但我一直无法这样做。
用于安装Atom的命令行如下所示：
flatpak install flathub io.atom.Atom
(布斯！在安装过程中，Xubuntu抱怨道，因此还必须安装一些额外的Fl
浏览 0提问于2018-07-01得票数 3
回答已采纳
1回答
我听说android使用linux内核。这是否意味着android平板电脑可以运行像debian或arch这样的linux发行版？我怎样才能用平板电脑上的linux来代替android呢？
浏览 0提问于2023-01-08得票数 0
我试图在Atom编辑器中安装软件包，但它总是失败，就像我无法与服务器连接一样。
例如，apm install split-diff返回Request for package information failed: getaddrinfo ENOTFOUND atom.io atom.io:443 (ENOTFOUND)
我在Linux 19上运行Atom 1.32.2，我不使用代理。
浏览 0提问于2018-11-23得票数 2
回答已采纳
我是Linux新手，很难更新应用程序和软件。
今天我需要安装atom。这很容易，但事实证明它需要GLIBC 2.28。
当我继续更改atom主题时，它将不会运行并得到以下错误消息：
/usr/share/atom/resources/app/apm/bin/node:
/lib/i386-linux-gnu/libc.so.6: version `GLIBC_2.28' not found
(required by /usr/share/atom/resources/app/apm/bin/node)
我的薄荷安装是完全最新的，但它只有一个旧版本的GLIBC。
请帮助
浏览 0提问于2021-06-08得票数 0
1回答
我刚开始使用xDebug。我正在尝试在Atom中使用xDebug。我使用Linux作为操作系统。我的phpinfo输出如下
我的Atom设置如下
我成功地安装了xDebug。
我的Atom is视图如下
我也在使用浏览器扩展。
如何在Atom中使用xDebug进行调试？
浏览 0提问于2017-05-08得票数 1
回答已采纳
private void AllowOtherSelectors(bool value)
{
foreach (var c in this.Parent.Controls)
{
if (c == this)
continue;
if (!(c is RoundGroupedSelector))
continue;
var rgs = c as RoundGroupedSelector;
浏览 0提问于2013-05-16得票数 5
回答已采纳
我正在做一个在Atom平板电脑上部署的Windows Embedded Standard 2009项目。我们有一些已知的Windows错误检查崩溃(BSOD)，我正在努力解决。我们还有一个bug，在关闭屏幕的情况下，平板电脑变得没有反应；需要重新启动电源才能恢复。我在追求一种理论，即没有反应的平板电脑是在屏幕关闭时发生的BSOD崩溃。我们打开了EWF，以防止内存转储写入以了解是否发生了BSOD。我们使用user32.dll SendMessage(Handle, WM_SYSCOMMAND, SC_MONITORPOWER, MONITOR_OFF)在用户不活动后关闭监视器。
如果以前以编程方
浏览 2提问于2011-07-02得票数 0
回答已采纳
1回答
我有一个更老的have平板电脑(32位英特尔Atom处理器)，带有可附加键盘&希望使用USB安装Mate。我已经禁用了BIOS中的安全引导选项&我尝试过用SanDisk驱动器启动，该驱动器已经格式化为安装Mate 18.04。能在这个设备上安装Mate吗？
浏览 0提问于2018-10-15得票数 0
我有一个丘维Hi12平板电脑(x86_64处理器)，我在上面安装了ArchLinux。我试图使用默认的驱动程序使声音工作，但我做不到。所以我从这里下载了一个C编写的驱动程序：
linux-chwhi12 12/es8316.c
我用包含makefile的系统编译了它，并获得了.ko文件。我不知道从这里该怎么继续，所以我在这个论坛上问。
非常感谢您的阅读和回答。
______________________________________________________________-
编辑。我试着插入这个模块，但是它说资源很忙。我不知道怎么处理。下面是引用es8316的模块：
snd_soc
浏览 0提问于2018-02-20得票数 1
2回答
这是文件的一小部分：
ATOM 1276 HB1 ALA 81 9.959 6.292 8.850
ATOM 1277 HB2 ALA 81 9.327 5.104 10.015
ATOM 1264 HG21 THR 80 7.466 11.485 7.678
ATOM 1265 HG22 THR 80 6.093 12.332 8.430
ATOM 1278 HB3 ALA 81 8.579 5.259 8.408
ATOM 1279 C
浏览 1提问于2012-04-26得票数 0
有人知道在Linux for Genesis平板电脑上进行USB调试的供应商ID吗？我的平板电脑是GT7200。我需要通过USB来调试这台平板电脑。
谢谢。
浏览 0提问于2012-07-02得票数 1
回答已采纳
在Linux上使用Atom编辑器时，我似乎找不到在最近激活的Atom窗口中打开文件(使用我的文件管理器)的任何选项。相反，它总是在创建的第一个Atom窗口中打开。
我该如何解决这个问题？
浏览 3提问于2017-04-21得票数 1
10回答
既然Eclipse可以在Linux上运行，而且这台平板电脑有新的Honeycomb (Linux内核)，那么Eclipse IDE可以在Android Honeycomb上运行吗？
我知道在平板电脑上编码不是很舒服，但我想使用UML建模。
浏览 0提问于2011-02-22得票数 28
回答已采纳
1回答
构建Atom问题
、、
我使用的是Linux Mint 17.1 Rebecca，我尝试从这里描述的源代码构建Atom : GitHub/atom/linux
我在最后一步出错了。下面是输出(我哪里弄错了)：
darko@darko-Lenovo-G570 ~/Downloads/atom $ script/build
Node: v0.10.33 npm: v1.4.28 Installing build modules...
Installing apm...
Package gnome-keyring-1 was not found in the pkg-config search path.
Perhaps
浏览 1提问于2015-11-14得票数 0
8回答
Ubuntu还不支持原子特性的自动更新。在他们的GitHub存储库中：
目前只有64位版本可用.从Atom releases页面下载atom-amd64.deb。在下载的包上运行sudo install atom-amd64.deb。使用已安装的Atom命令启动atom。Linux版本目前不会自动更新，因此您需要重复这些步骤才能升级到以后的版本。
我试过使用Webupd8 PPA，但它对我不起作用。
浏览 0提问于2015-02-24得票数 54
回答已采纳
1回答
我正在尝试将atom编辑器设置为ide，以便在linux上进行python开发，并且我已经安装了以下包：
Community Packages (14) [home path]/.atom/packages
├── Hydrogen@2.14.1
├── atom-file-icons@0.7.1
├── atom-ide-ui@0.13.0
├── atom-material-syntax-light@0.4.6
├── autocomplete-python@1.16.0
├── busy-signal@2.0.1
├── hydrogen-python@0.0.8
├── ide-pyt
浏览 1提问于2020-03-19得票数 8
我想在我的宏碁标签上安装Ubuntu，但是我不知道如何在平板电脑上安装它。
如何将Ubuntu安装到Acer Iconia W4-82164GB中，其中包括：
屏幕大小:8
内部存储:64 2GB，2GB RAM
操作系统: Windows 8.1
处理器: Intel Atom Z3740
速度: 1.33 GHz四芯
？
浏览 0提问于2019-02-04得票数 1
2回答
在Windows5.0.18中，我运行的是VirtualBox客户：
Linux 17.3肉桂64位
肉桂2.8.8
Linux内核3.19.0-32-泛型
启用3D加速。
在我今早更新Linux并启动Atom之前，一切都很顺利。原子部分显示，然后在屏幕上显示随机的浮斑图像，然后最后加载。然后我就完全关不住了。当按ctrl时，窗口会关闭，然后继续重新启动。我不能点击屏幕上的任何东西。
现在，在重新启动VM之后，我不能单击任何“system”区域，例如任务栏或通知。我只能点击桌面打开文件和东西。但我可以使用Windows键打开“开始”菜单。
我可以用键盘成功地启动和关闭应用程序，但不能用Atom
浏览 0提问于2016-04-22得票数 1
回答已采纳
如何告诉Windows不要对tablet笔事件进行无用的预处理？
我使用Python2.6进行编程，目标是运行Windows7的平板电脑(尽管我希望我的程序在XP上只需稍加修改即可运行，带有智能交互式白板，并适用于Linux/Mac上的鼠标用户)。我已经写了一个程序，它挂钩到正常的Windows鼠标事件，WM_MOUSEMOVE等，并在画布上写。
问题是，鼠标消息在到达我的应用程序之前就被摆弄了。我发现，如果我进行长笔划，并在笔划之间暂停，那么鼠标消息就会正确发送。但是如果我做了几个快速的短笔画，那么就是做了一些无用的预处理。具体地说，如果我做了一个大约10个像素长的下笔画，然后在第一个笔画右
浏览 0提问于2009-09-29得票数 0
回答已采纳
1回答
Ramble：过去~一周，我一直在努力获取有关Linux平板编程的信息。我目前是一名负责制作平板电脑应用程序的学生(移动设备，但平板电脑是首选设备)。我可以使用Linux编程，但是类指令是基于微软XP平板电脑输入的“墨迹”。然而，我想学习如何在Linux中编写一个类似的应用程序(我将尝试用GUI来做一个手势，让飞吻连接在空中裂纹中，主要是运行脚本)。
problem ：但是，我的问题是，我找不到任何开放源码、手势引擎或类似的工具，就像Linux一样。我知道社区讨厌n00b问题，但您可以向我介绍一些n00b xInput编程教程，其中包括手势。我找到的最好的是。
我很抱歉n00bing在这里，
浏览 0提问于2010-10-03得票数 1
回答已采纳
5回答
运行(sudo) apm install minimap(或任何其他软件包)时出现的错误：
gyp info it worked if it ends with ok
gyp info using node-gyp@1.0.2
gyp info using node@0.10.35 | linux | x64
gyp http GET https://atom.io/download/atom-shell/v0.21.0/node-v0.21.0.tar.gz
gyp WARN install got an error, rolling back install
gyp ERR! instal
浏览 2提问于2015-02-22得票数 10
遵循本教程：
我做了这个：electron-packager . MyApp --platform=linux --arch=x64 --version=0.37.2 && cp icon.png MyApp-linux-x64/resources/atom.png
图标保存到“资源”文件夹中，但是图标没有显示在我的Ubuntu左侧面板中(我只看到默认的齿轮)。
为Linux设置图标的正确方法是什么？
编辑：
我也尝试过这个：var mainWindow = new BrowserWindow({ icon: 'file://' + __dirname
浏览 7提问于2016-03-16得票数 0
回答已采纳
我有以下问题，真的需要你的帮助
我正在实现一个小型服务器，使用TCP套接字在端口18999上接收来自客户端的请求(只是示例)。
当我通过路由器使用大量来自平板电脑的请求测试我的服务器时，
我遇到了ARP问题(？)
我的网络就像：
平板-无线路由器<
问题：
不能再连接到我的Linux ( telnet，ping v.v...unreachable)
我使用串行电缆连接到我的Linux机器
use Wiresharp (from Windows) to catch the send message from Linux.
It says that Linux keeps se
浏览 0提问于2011-11-16得票数 0
3回答
我有一个便宜的android平板电脑，我需要用它来测试它的应用程序。我使用的是Ubuntu，所以我首先必须将设备添加到udev列表中。
我连接了平板电脑，但是adb没有看到它
$ adb devices
List of devices attached
$
我尝试使用lsusb，但设备没有标识到Ubuntu (检查了USB调试！)(药片的性质)
$ lsusb
Bus 001 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
Bus 002 Device 001: ID 1d6b:0002 Linux Foundation 2
浏览 6提问于2012-08-24得票数 10
回答已采纳
1回答
我用Rufus创建了一个bootable USB of Ubuntu 16.04 64-bit，将驱动器设置为UEFI的GPT。然后我启动了我的平板电脑，运行了UEFI BIOS，然后我关闭了安全引导。然后我重新启动并再次在BIOS上启动，从我的密钥，但我得到的只是一个持续了几秒钟的黑色屏幕，然后它把我带回到BIOS。
我读到了一个bootia32.efi文件和其他可以遵循的过程，但是我没有找到一个很好的解释我需要做什么。
我的平板电脑运行Intel Core Atom Z3735F，拥有2 GB of RAM。
如果你有答案，请告诉我。
浏览 0提问于2016-05-21得票数 21
回答已采纳
我有一个在Windows 7-32位桌面上开发的WPF应用程序.该应用程序在开发系统中运行良好。它还能在Windows 8、32和64位桌面上顺利运行。
当我在具有Windows 8-32位的平板电脑上运行同一个应用程序时，应用程序UI的响应非常慢，运行非常慢。此应用程序实际上用于监视UDP上接收的数据。
我使用的平板电脑是惠普ElitePad 900，它有英特尔Atom Z2760 / 1.8 GHz (双核)，2GB内存。
我不认为硬件是造成问题的原因。
我尝试将ProcessRenderingOption设置为
RenderOptions.ProcessRenderMode = Rend
浏览 6提问于2014-11-20得票数 0
最近，在尝试启动另一个基于电子的应用程序(particl-desktop)之后，我也遇到了同样的问题，我能够通过运行以下命令手动修复它：
sudo chown root chrome-sandbox
chmod 4755 chrome-sandbox
这使我能够成功地启动上面提到的包。然而，在再次做同样的事情之前，我想知道为什么会发生这种情况，如果这种情况继续发生，是否有一个更永久的解决方案。
我已经读到过，这些应用程序也可以使用--no-sandbox标志启动。但这样做安全吗？
分布
Debian 10 (Buster)
问题
atom &
/usr/bin/atom: line 1
浏览 0提问于2020-05-20得票数 4
回答已采纳
1回答
我最近在我的LarkUltimal7iWin平板电脑上安装了Linux，它最初运行的是windows，但是Windows在这个设备上太落后了。
我成功地用LXDE安装了Debian，它在这个设备上运行得很好，几乎没有cpu使用，也没有内存使用。但我在网络连接上遇到了问题。
我去了本站，我知道这个设备正在使用REALTEK RTL7832BS芯片组。我搜索了几乎整个互联网的结果，但没有对我有用。我只找到这个司机为世界上的某个人工作。
通过将build-essential包移植到平板电脑上，我成功地在我的系统上安装了.deb包。我还在这里移植了驱动程序git包，并在该驱动程序目录中运行了mak
浏览 0提问于2016-11-04得票数 1
回答已采纳
我有一个带有Ubuntu音乐的变压器TF101平板电脑。
扬声器已经足够好了，但我有一台Ubuntu电脑连接到我的客厅的好立体声。我希望能在我的公寓里用平板电脑控制我的音乐，但让声音流从我的网络传到我的Ubuntu个人电脑。
我知道如何从Linux到Linux机器配置Pulse音频来实现这一点，但我不知道平板电脑是如何适应这一需求的。
浏览 0提问于2012-02-24得票数 5
回答已采纳
1回答
我们开始开发一个新项目。它将是a smart home project。
基本上，家里的墙上会贴一块平板电脑。这款平板电脑将完成许多工作，比如与设备进行通信、托管网页和网络服务等。在这一点上，我们不知道应该为这种应用程序选择哪种平板电脑设备。
选项包括：
1. Android tablet (android os)
2. Linux tablet (a linux os version)
3. Windows tablet (a windows embedded os version)
这款平板电脑需要做的是：
1. Hosting dinamic web pages (like js
浏览 5提问于2013-10-21得票数 1
什么是Linux的优秀外部平板电脑输入设备？
它应该用于更方便地使用Inkscape和Gimp。
我想，有些特性是有用的：
通过USB连接
包括带按钮的钢笔
平板电脑只应对笔触敏感。
开源驱动程序(必须)
供应商对操作系统的一些参与
公开问题：
在实践中，这些药片的尺寸有多大？
在Linux/X下如何设置它，有什么好的指南吗？
还有哪些其他伟大的程序更容易在平板电脑上使用呢？
浏览 0提问于2010-09-12得票数 5
回答已采纳
1回答
我用的是平板版的Atom。我的许多扩展都需要可执行二进制文件(如php二进制文件)的路径来完成代码。
现在，flatpak黑名单/usr目录，当我传递/usr/bin/php目录时，它找不到正确的二进制文件，即使安装了二进制文件，并且它的目录被添加到平面文件的PATH环境变量中。
那么，正确的方法是什么呢？我也无意中发现了作为org.freedesktop.Sdk包扩展的平台版本本身，但是如果我要使用这些版本，如何将它们传递给一个需要路径到可执行文件的Atom呢？
增编:我认识到有一些解决办法，比如不使用Flatpak Atom和使用deb包，或者使用具有所需二进制文件的不同的IDE平台，但我
浏览 7提问于2022-03-04得票数 2
1回答
在学习Linux脚本的视频教程时，老师使用atom作为编辑器。
当我尝试安装atom时：
sudo snap install atom
我收到消息：
错误: snap "atom“的这一修订版是使用经典限制发布的，因此可能在安全沙箱之外执行任意系统更改，而安全沙箱通常仅限于此，这可能会使您的系统处于危险之中。如果您理解并希望继续执行该命令，请重复该命令，包括--经典命令。*
你会怎么做/建议？
浏览 0提问于2019-01-07得票数 24
回答已采纳
我想知道用Livecode (www.runrev.com)为桌面Linux平台开发的任何应用程序是否能够在Ubuntu (平板电脑)上本地运行。
Livecode可以生成Android应用程序和桌面Linux应用程序。我的问题是关于桌面Linux应用，因为我有几个我想在平板电脑上使用。
如果是这样的话，这将为我节省大量用于Android的Livecode代码的重新编码。
谢谢。
浏览 0提问于2013-04-02得票数 1
我看到了这个问题，，但我的目标是这样的
$ uname -a
Linux MyDevice 4.9.127-svn20747 #1 SMP Thu Jan 17 05:46:18 UTC 2019 x86_64 GNU/Linux
来自less /proc/cpuinfo的一些输出
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 54
model name : Intel(R) Atom(TM) CPU D2701 @ 2.13GHz
stepping : 1
microcode
浏览 1提问于2020-10-13得票数 1
回答已采纳
1回答
我使用一台windows和一台linux机器进行开发工作。这两个地方我都使用Atom编辑器。
我想知道有什么方法可以在我的两个Atom实例之间同步设置/配置/首选项。
浏览 2提问于2017-11-25得票数 1
Idris版本1.3.2和Atom已经成功安装在Ubuntu Linux的Kubuntu版本上。idris二进制文件的正确路径已放入Atom的包设置中。REPL在Atom中工作正常。idris二进制文件的位置是/home/tom/Documents。我的名为WordLength.idr文件的单行源代码文件保存在Atom中，给出了以下代码：
allLengths : List String -> List Nat
(这是在Brady的书的第56页中描述的)。保存此文件的位置是/home/tom/.cabal/bin/idris。
当我在Linux命令窗口中启动idris时，类型检查按照要求
浏览 11提问于2020-03-16得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
