要在Atom上使用Idris交互式编辑命令，需要安装适当的插件。以下是解决方法的步骤。

1. 安装Atom编辑器：首先，确保已在Linux上安装了Atom编辑器。可以从Atom官方网站（https://atom.io/）下载并安装最新版本。

2. 打开Atom编辑器：在终端中运行以下命令以打开Atom编辑器：

atom

3. 安装language-idris插件：在Atom编辑器中，点击左侧导航栏的"Settings"按钮，然后选择"Install"选项。在搜索框中输入"language-idris"并点击"Install"按钮安装该插件。

4. 配置Idris交互式编辑命令：在Atom编辑器中，点击左侧导航栏的"Settings"按钮，然后选择"Open Config Folder"选项。在打开的目录中找到并打开"config.cson"文件。

5. 在"config.cson"文件中添加以下配置：

"*":
  core:
    customFileTypes:
      "source.idris": [
        "idr"
      ]
  "language-idris":
    idrisBinaryPath: "/path/to/idris"

将"/path/to/idris"替换为实际的Idris二进制文件的路径。

6. 保存并重新启动Atom编辑器。

现在，Atom编辑器应该已经配置好了，可以使用Idris交互式编辑命令。可以尝试打开一个Idris文件（扩展名为".idr"）并查看是否能够进行交互式编辑。