ANN: Beduino, a Vim bundle for a faster development cycle

Article View: fa.caml

Article #68

#68

From: Alfredo Di Napoli
Date: Sun, 26 Aug 2012 11:10

14 lines
1927 bytes

Hi everyone,

This is a cross post from the subreddit channel, and a shameless plug :)

Beduino is an effort to create THE OCaml plugin for Vim. It's in alpha stage, but still pretty useful. There is an accurate description of the plugin in the README file of the repo, so here is the link:

https://bitbucket.org/adinapoli/beduino

Feedback, patches and improvements are welcome. Bear in mind that this is the result of a single afternoon of hacking, so nothing is to be considered "production quality".

ps. There are still some quirks due to Tmux, and I'm planning to implement support for GNU screen too, but there are workarounds in the FAQ. Please open an issue if something doesn't work properly.

Regards,
A.

Technical Details

Message-ID: <beb7e72e-a6d9-4a72-9766-c5ade231a5dd@googlegroups.com>

Path:

arc1-ca.pugleaf.net!a5ni12203pbv.0!nntp.google.com!news1.google.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail

Show Full Headers

Complete Article Headers

X-Google-Thread: ff861,5c8c23e7ffaa2e06,start
X-Google-NewGroupId: yes
X-Google-Attributes: gidc0fe4b917e,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.66.81.202 with SMTP id c10mr975743pay.40.1345979427054;
        Sun, 26 Aug 2012 04:10:27 -0700 (PDT)
Path: arc1-ca.pugleaf.net!a5ni12203pbv.0!nntp.google.com!news1.google.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
From: Alfredo Di Napoli <alfredo.dinapoli@gmail.com>
Newsgroups: fa.caml
Subject: ANN: Beduino, a Vim bundle for a faster development cycle
Date: Sun, 26 Aug 2012 04:10:26 -0700 (PDT)
Organization: http://groups.google.com
Lines: 14
Message-ID: <beb7e72e-a6d9-4a72-9766-c5ade231a5dd@googlegroups.com>
NNTP-Posting-Host: 82.59.189.16
Mime-Version: 1.0
X-Trace: posting.google.com 1345979426 19819 127.0.0.1 (26 Aug 2012 11:10:26 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sun, 26 Aug 2012 11:10:26 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=82.59.189.16; posting-account=EDKmCwoAAAAuHzfKHen4RJb8o3IxmFle
User-Agent: G2/1.0
Content-Type: text/plain; charset=ISO-8859-1