ctrl+shift+p filters: :st2 :st3 :win :osx :linux
浏览

K框架

由 Zhomart 编写 全部

语义框架K的语法高亮。更多详情请访问http://kframework.org

标签 语言语法，k框架

详情

  • 2013.10.12.13.22.02
  • github.​com
  • github.​com
  • 11年前
  • 2小时前
  • 11年前

安装次数

  • 总计 693
  • Windows 386
  • Mac 160
  • Linux 147
8月6日 8月5日 8月4日 8月3日 8月2日 8月1日 7月31日 7月30日 7月29日 7月28日 7月27日 7月26日 7月25日 7月24日 7月23日 7月22日 7月21日 7月20日 7月19日 7月18日 7月17日 7月16日 7月15日 7月14日 7月13日 7月12日 7月11日 7月10日 7月9日 7月8日 7月7日 7月6日 7月5日 7月4日 7月3日 7月2日 7月1日 6月30日 6月29日 6月28日 6月27日 6月26日 6月25日 6月24日 6月23日
Windows 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Mac 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Linux 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

阅读说明

源代码
raw.​githubusercontent.​com

跳转到章节

安装

通过包管理器

这是推荐的安装方法。

如果您有Sublime包管理器，就知道该怎么做了。如果没有，嗯：它是Sublime Text 2的包管理器；它很棒，您可以在这里了解更多信息。

要安装包管理器，打开Python控制台（按ctrl+'或cmd+`）并将以下内容粘贴到其中

import urllib2,os; pf='Package Control.sublime-package'; ipp=sublime.installed_packages_path(); os.makedirs(ipp) if not os.path.exists(ipp) else None; urllib2.install_opener(urllib2.build_opener(urllib2.ProxyHandler())); open(os.path.join(ipp,pf),'wb').write(urllib2.urlopen('http://sublime.wbond.net/'+pf.replace(' ','%20')).read()); print 'Please restart Sublime Text to finish installation'

安装包后并重启编辑器

  • 打开命令面板（按ctrl+shift+P或cmd+shift+P）。
  • 输入“安装包”并按回车。
  • 输入“k框架”并按回车。

通过源控制

如果您打算贡献，那么您应该使用这种方法进行安装。否则，建议您通过包管理器安装，请参阅上面。

Sublime将包存储在以下位置

  • Nix: ~/.config/sublime-text-2/packages
  • Mac: ~/Library/Application\ Support/Sublime\ Text\ 2/Packages
  • Win: %APPDATA%\Sublime Text 2\Packages

作为包目录内的存储库

在终端/控制台中运行以下命令，将PACKAGE_PATH替换为上述针对您操作系统对应的路径。

cd PACKAGE_PATH git clone https://github.com/Zhomart/kframework-Sublime-Plugin.git kframework

作为包目录外的存储库

如果您使用的是Mac/Windows的Github，并将存储库存储在特定位置，或者您不想在包目录中创建存储库，那么您可以使用链接。

如果您还没有存储库，那么您可以通过GUI程序或命令行将其获取

cd WHEREVER_YOU_WANT git clone https://github.com/Zhomart/kframework-Sublime-Plugin.git

完成此步骤后，我们将创建链接

Windows

cd PACKAGE_PATH mklink /D kframework ABSOLUTE_PATH_TO_REPOSITORY

Nix/Mac

cd PACKAGE_PATH ln -s ABSOLUTE_PATH_TO_REPOSITORY kframework

关于包控制的说明

当包控制尝试更新您的包时，如果您在包目录中有一个仓库，它将尝试拉取并合并任何更改。如果您不希望发生这种情况，并且希望自行处理一切，那么您可以将以下内容添加到您的设置中（首选项 » 包设置 » 包控制 » 设置 - 用户）

"auto_upgrade_ignore": ["kframework"]