dcarrillo/prezto
1
0
Fork 0
mirror of https://github.com/dcarrillo/prezto.git synced 2024-12-22 23:08:00 +00:00
Code Issues Releases Wiki Activity
1,702 Commits 32 Branches 0 Tags 3.1 MiB
7ebb5e9dda
Commit Graph

693 Commits

Author SHA1 Message Date
Luis Fernando Milano Oliveira
14670f40f0 replace the deprecated abs call in the pacu alias. 2017-06-08 11:10:07 -07:00
Kaleb Elwert
7ae7a0266c Update python docs to include info on virtualenv auto-switching 2017-05-30 17:29:32 -07:00
Matthew Crenshaw
08e39a587f Python virtualenv auto workon cwd hook (#1300) 
* Command to activate virtualenvs on changing directory

Enables automatic activation of a virtualenv when jumping into a directory
This is done by looking in the current directory for a file or directory
named `.venv`. If it's not found in the current directory its parents will
also be examined. `.venv` can be either:
    1. A file containing the name of a virtualenv found in $WORKON_HOME
    2. A directory containing bin/activate (meaning that the directory is
       assumed to be a virtualenv.)
If $WORKON_HOME is set it is assumed that virtualenvwrapper is installed
and the `workon` command will be issued.
 2017-05-30 17:26:18 -07:00
Kaleb Elwert
658fffb3a6 Allow ssh module to run on OSX 2017-05-05 09:58:19 -07:00
Kaleb Elwert
6975b119b6 Change the zstyle config name for #607 2017-05-02 18:02:28 -07:00
Matt Henkel
d02c2951b3 Add the ability to specify tmux session name 2017-05-02 17:57:14 -07:00
Kaleb Elwert
871b15663c Cache the completion for a quicker startup 
The original idea was by @samjonester in #1210. This version aims to avoid
relying on the stat or date programs because they have different flags depending
on the OS and if it uses BSD or GNU coreutils.
 2017-05-02 17:50:24 -07:00
Fernando H-T Goldáraz
42d9b78907 broken $path and $PATH if nodenv exists (#1315) 
This change fixes a bug where no command can be found
(e.g. `ls`) due to the $path array being set to two elements,
one of them with all the previous paths separated by spaces.
This makes zsh break $PATH, instead of colons there are
spaces, and nothing works.

The idea is to have the array be set leveraging the word splitting
that we usually are told to avoid by quoting.
 2017-05-02 11:38:19 -07:00
Kaleb Elwert
2794f95d3e Use the lazy-loaded version of virtualenvwrapper if available 
This shouldn't cause problems for anyone and should improve startup times for
anyone using python with virtualenvwrapper because it will wait for the first
command to load rather than right away.
 2017-05-02 10:08:06 -07:00
Kaleb Elwert
46a1ffaf7e Add gbr and gbR aliases to module readme 2017-05-01 09:43:12 -07:00
Kyle Rich
3d7a8c2870 Add some new git aliases, modify a few more. (#1301) 
* Add some new git aliases, modify a few more.
* Add `gbV` command to show more verbose git branch info.
* Add `gcam` to make it possible to execute `gca; gcm '<your message
  here>'` more simply.
* Add `gii` command to temporarily untrack (ignore) a file.
* Add `giI` command to uningore a file.
* Change alias of `gbl` to `gbv`. Personally, I think aliases that
  include a switch in the command should include the switch in the alias
  if possible.  This makes them easier to remember.
* Change alias of `gbL` to `gba`. I think the `-a` switch is more
  salient to what this alias does than the `-v`.  Furthermore, with this
  PR there are already `gbv` and `gbV` aliases, so those are out.
* Change implementation of `gCl` alias to use built-in capabilities of
  git, rather than sed.
* Rename gbx and gbX to gbd and gbD respectively
* Mostly revert alias changes
* Add gbr and gbR aliases to gbm and gbM commands
 2017-05-01 09:41:17 -07:00
Kaleb Elwert
1050a0a290 Add better support for pyenv virtualenvs 2017-05-01 01:04:16 -07:00
Kyle Rich
723b3812e1 Convert long-pwd to pwd-length 2017-04-27 13:33:40 -07:00
Kyle Rich
7c509a264f Add zstyle option to show pwd in long format 2017-04-26 11:30:10 -07:00
Indrajit Raychaudhuri
850ad42c96 rsync: Update reference to Bombich's rsync page 
Seems like Bombich's rsync page moved with the previous link doing 404.
Adjusted to fix this.
 2017-04-26 13:02:08 -05:00
Indrajit Raychaudhuri
4f87376b50 Add support for 'pip', 'pip2', 'pip3' completion 
Since `pip completion --zsh` might be slow, we cache it beforehand.
The implementation is along the lines of 'npm' completion in 'node' module.
 2017-04-23 23:03:53 -05:00
Mathieu Chataigner
876f426581 Update ssh module for multi session hosts 
create ssh_agent_env with current user id in file name to avoid collisions with other users
create ssh_agent_sock with current user id in file name to avoid collisions with other users
 2017-04-18 02:48:27 -07:00
Sudarshan Wadkar
f15557159a New alias gfa=git fetch --all for git module 
Also includes an updated README.md !
 2017-04-18 02:44:01 -07:00
Guillaume Subiron
81b41d2367 Add utility alias for pydf 2017-04-18 02:37:23 -07:00
delphinus
cf7d3cffbd Add perl-info function & plenv subcommand aliases (#1303) 
* Add perl-info function
* Add alias for plenv subcommands
* Load perlbrew if needed
* Load plenv if needed
* Use PERLBREW_ROOT as priority to detect Perlbrew
 2017-04-18 01:57:35 -07:00
Matt Hamilton
fb37539f43 archive: add archive function 2017-04-17 22:44:47 -07:00
Khai Do
7242b4ed49 archive: add support for *.jar files (#1302) 2017-04-17 22:04:28 -07:00
Patrick Bos
c38c2dd909 Move python-info call in paradox from preexec to precmd 2017-04-15 16:44:05 -07:00
Kaleb Elwert
600b4cc9e6 Add missing alias to utility README 2017-04-15 14:16:15 -07:00
Kaleb Elwert
38f0d2f34e Rework diff function 
This removes --unified from the default options to make it possible to pass -y
without worrying about conflicting output formats.

diffu has also been added as an alias to make it easier to get output as a
unified diff.

Fixes #1231
 2017-04-15 14:06:07 -07:00
Kaleb Elwert
e606b09c9e Update is-callable to also check builtins 
Fixes #1037
 2017-04-13 04:05:20 -07:00
François VANTOMME
8a4333103d Feat (docker): add docker aliases (#1147) 
Thanks to @malikoth and @saoula for their input.
 2017-04-13 03:18:54 -07:00
François VANTOMME
bb168c5881 Doc (ruby): add doc on bundle clean alias 2017-04-13 03:04:21 -07:00
François VANTOMME
7c64584629 Add bundle clean alias 2017-04-13 03:04:21 -07:00
Kaleb Elwert
7011031a87 Don't use a deprecated argument as a python example 
Thanks to @jeffwidman for pointing this out

Closes #1141
 2017-04-13 03:02:07 -07:00
Anton Löfgren
5c0e68f75f completion: Cap max-errors at 7 to avoid hanging (#953) 
7 is pretty arbitrarily chosen, but seems like a reasonable tradeoff, at
least the completion no longer shows symptoms of exponential
time-growth when trying to complete something completely wrong.

This fixes #946.
 2017-04-13 02:47:51 -07:00
Eduard Zintz
1c0f95c08e Allow syntax highlighting pattern styles (#1192) 2017-04-13 02:25:45 -07:00
François Vantomme
fb6f3f7ee9 Feat (aliases): add aliases for git flow 2017-04-13 02:23:05 -07:00
Solitude
95036c908c Update fasd README with basic installation information 2017-04-13 01:55:02 -07:00
Joel Kuzmarski
9a70a1675c Remove manb from completion filename 2017-04-13 01:51:15 -07:00
Kaleb Elwert
8655cd543b Ensure extendedglob is set in promptpwd 2017-04-13 01:16:44 -07:00
Matt Hamilton
60c433d4ce Move common promptpwd code to external function 2017-04-13 01:15:01 -07:00
Kaleb Elwert
b963484fe7 Only try to run python-info if it exists for the paradox prompt 2017-04-11 15:12:09 -07:00
nstCactus
ee249e50ee FIXED: syntax error in osx module tab function 2017-04-11 10:23:21 -07:00
John P. Neumann
412af29808 Merge pull request #1272 from sorin-ionescu/issue/1246-ps-context-config 
Adds additional support for PS prompt context expansion
 2017-04-11 00:14:08 -05:00
Griffin Yourick
94708f6b50 Fix path in node module 2017-04-10 11:43:17 -07:00
Griffin Yourick
8dafaae5a4 Use patterns from ruby module for initializing nodenv 2017-04-10 11:36:56 -07:00
Griffin Yourick
e413ef5a97 Add support for iTerm2 v3 in tab function 2017-04-10 11:30:27 -07:00
Zhiming Wang
464a8d20a1 utility module: fix/improve colordiff call in diff 
The new call is compatible with colordiff v1.0.8 - v.1.0.15 (might be
compatible with even earlier versions, but not tested), while the
original one breaks down under v1.0.14 and v1.0.15. See
https://github.com/daveewart/colordiff/issues/22.
 2017-04-05 00:23:37 -07:00
Kire Ledan
95d19b37c1 Added support for python venv display in paradox prompt 2017-04-04 23:52:12 -07:00
Eduardo San Martin Morote
c0049855c5 Added option to skip git aliases definition 
Fixes #947
 2017-04-04 23:43:46 -07:00
Kaleb Elwert
27c2ccd8b9 Update external prompt modules 2017-04-04 23:00:28 -07:00
Kaleb Elwert
fd0b627a8b Update zsh-users submodules to latest stable versions 2017-04-04 23:00:28 -07:00
Olaf Conradi
013668f484 Improve and simplify titling functions. 
Multiplexer titles can be set independent of window and tab titles.
Add auto-title always option to have dynamic titling inside terminal
multiplexers. Setting auto-title to yes continues to ignore dynamic
titling inside terminal multiplexers.

This patch should not alter behavior under Apple terminals.
 2017-04-04 22:27:13 -07:00
Justin Filip
ddfc870f9a Use less destructive git push --force-with-lease. 2017-04-04 22:06:57 -07:00
Wojciech Pietrzak
65b05c0220 Add notice about potential shadowing of the gb command (#1124) 2017-04-04 22:03:47 -07:00
Zhiming Wang
12d48dfcf9 Remove extra use of grep in git-hub-shorten-url (#904) 2017-04-04 21:36:28 -07:00
Matt Hamilton
fb689449a7 Prefer $(COMMAND) syntax over backticks (#1012) 2017-04-04 21:30:48 -07:00
Jamie Rolfs
483447082b Add nodenv support to Node.js module 
- Implementation from https://github.com/sorin-ionescu/prezto/pull/1001
- Documentation from https://github.com/sorin-ionescu/prezto/pull/1178
 2017-04-04 21:26:33 -07:00
Dario Gjorgjevski
2c1ad5bed1 Avoid unsetting nonexistent variables (#1075) 2017-04-04 21:24:50 -07:00
Kyle Rich
4e35f701ca Add "sa" alias to make it easy to search aliases 2017-04-04 21:11:36 -07:00
Calvin Smith
a7729561e8 Add support for skipping VIRTUALENVWRAPPER init in modules/python (#598) 
* Support skip-virtualenvwrapper-init zstyle in python module to avoid auto-sourcing of virtualenvwrapper.sh
* Don't overwrite the WORKON_HOME env var if the user has already set it
 2017-04-03 23:06:02 -07:00
Eduard Zintz
8913bcccd2 Use python3 for http-serve alias if available (#1193) 2017-04-03 13:27:06 -07:00
Andreas Grauel
2ba060a426 update brewu method 
Homebrew decided to not change the behaviour of `brew upgrade` so
`brew upgrade --all` is equivalent to `brew upgrade` without any other
arguments (so the `--all` is a no-op and can be removed).
 2017-04-03 13:12:15 -07:00
Plastix
8820b71f37 Update pure prompt to v1.5.2 
This fixes a security issue with malicious branch names
 2017-04-03 11:42:05 -07:00
John P. Neumann
b38ced856a Adds additional support for PS prompt context expansion 2017-04-02 14:09:58 -05:00
Sorin Ionescu
c8b8397728 [Fix #532] Integrate autosuggestions 2016-03-02 16:31:33 -05:00
Sorin Ionescu
8bd720b0c7 Update pure theme 2016-02-28 22:32:40 -05:00
Sorin Ionescu
38baf39513 Update external syntax-highlighting 2016-02-28 22:32:12 -05:00
Sorin Ionescu
e36eed9c8a Update external history-substring-search 2016-02-28 22:31:46 -05:00
Sorin Ionescu
64aa907087 Update external completions 2016-02-28 22:31:21 -05:00
Zach Riggle
7227c4f0be Fix unarchive for .deb which uses xz, and absolute paths 2015-11-12 12:01:37 -05:00
Andrew Schwartzmeyer
2ad1b2f5b1 Load add-zsh-hook in GPG module 
Fixes this error:

    ~/.zprezto/modules/gpg/init.zsh:43: command not found: add-zsh-hook
 2015-11-12 11:49:41 -05:00
Ryan S. Brown
a7e4b447b3 Fix typo in yum module README 2015-11-11 22:58:22 -05:00
Ryan Brown
02b3d329ac Fix typo in dnf module README 2015-11-11 22:58:22 -05:00
Sorin Ionescu
165879d4b3 Update pure theme 2015-11-09 02:09:48 -05:00
Sorin Ionescu
de9ed0610b Update external syntax-highlighting 2015-11-09 02:09:30 -05:00
Sorin Ionescu
c05fbedd8d Update external history-substring-search 2015-11-09 02:08:59 -05:00
Sorin Ionescu
e137068cac Update external completions 2015-11-09 02:08:40 -05:00
Sorin Ionescu
f2a826e963 Add preview function to sorin theme 2015-05-31 16:51:29 -04:00
Sorin Ionescu
bdec6c4e20 Redraw only when called from subprocess 2015-05-31 16:50:03 -04:00
Sorin Ionescu
ef634f38a4 Replace signal TERM with KILL 2015-05-31 16:47:16 -04:00
Sorin Ionescu
b761261b11 Replace signal USR1 with WINCH 2015-05-31 16:46:42 -04:00
Sorin Ionescu
02c5f776fc [Fix #892] Symlink prompt pure async dependency 2015-05-28 20:24:58 -04:00
Sorin Ionescu
a275db55d6 Fix MacPorts typo 2015-05-26 22:12:55 -04:00
FireWave
b6efdc1ea4 Add DNF module 
Signed-off-by: Sorin Ionescu <sorin.ionescu@gmail.com>
 2015-05-26 22:12:55 -04:00
Sorin Ionescu
904c94469e Consolidate brew update and upgrade aliases 2015-05-26 22:12:55 -04:00
Quang-Linh LE
159418835f Add Linux as as requirement 2015-05-25 22:01:57 -04:00
Sorin Ionescu
f7ea78078f Update pure theme 2015-05-25 21:58:43 -04:00
Sorin Ionescu
fe64f91f52 Update sorin screenshot 2015-05-19 18:25:40 -04:00
Sorin Ionescu
b46769149b Remove Emacs indicator 
The user always knows that he is inside Emacs making the indicator
unnecessary.
 2015-05-19 18:25:40 -04:00
Sorin Ionescu
999f0d1a74 Use numerical colors 2015-05-19 18:25:40 -04:00
Sorin Ionescu
f6a2c73423 Remove 'git:' prefix 2015-05-19 18:25:40 -04:00
Sorin Ionescu
a1dea6ae43 Get Git status asynchronously 2015-05-19 18:25:39 -04:00
Sorin Ionescu
cd5067668c Substitute command when alias is undefined 2015-05-19 18:24:04 -04:00
Scott Stevenson
6a812ed36b Correct typos in completion module 2015-05-19 17:50:40 -04:00
James Conroy-Finn
ca03fd670a Skip setting terminal title inside Emacs 2015-05-19 17:49:46 -04:00
Sorin Ionescu
08676a273e Update pure theme 2015-05-03 13:44:41 -04:00
Sorin Ionescu
20766138cb Update external history-substring-search 2015-05-03 13:44:41 -04:00
Alex Wolkov
e9f86bf4db Update the link to iTerm2 and tmux integration 
Signed-off-by: Sorin Ionescu <sorin.ionescu@gmail.com>
 2015-05-03 13:44:40 -04:00
Sorin Ionescu
c98da90662 Update external history-substring-search 2015-04-07 19:24:44 -04:00
Sorin Ionescu
ac8bc74ef0 Update pure theme 2015-04-01 16:32:38 -04:00
Sorin Ionescu
ccca57f2ac Update external history-substring-search 2015-04-01 16:32:38 -04:00
Sorin Ionescu
4016f0c7c1 Update external completions 2015-04-01 16:32:37 -04:00
Sorin Ionescu
ee0b02464c [Fix #819] Check for node as a last resort 2015-02-24 15:29:25 -05:00
Tobias Witt
e144abb285 Fix node-module 
The change recently introduced for #777 was actually breaking the module
completely, as it was only loaded if neither `node` nor `nvm`
were available.
 2015-02-23 12:11:21 -05:00
Sorin Ionescu
b41f485528 Add missing parenthesis 
The bug was introduced in 933c61b.
 2015-02-22 23:52:41 -05:00
Sorin Ionescu
1292587f95 [Fix #777] Check for nvm or node 2015-02-22 21:53:40 -05:00
Sorin Ionescu
933c61b8f1 [Fix #776] Support GNU top 2015-02-22 21:42:11 -05:00
Sorin Ionescu
88aee30ae8 [Fix #762] Use $LOGNAME instead of $USER 
$USER is deprecated.
 2015-02-13 00:00:27 -05:00
Sorin Ionescu
4411c95a83 Update pure theme 2015-02-12 19:17:38 -05:00
Sorin Ionescu
62d87cae32 Update external completions 2015-02-12 19:15:47 -05:00
Sorin Ionescu
d43bcb9720 Revert "Remove extra git-dir call in git-info and use git_dir variable instead" 
This reverts commit 3012c0984b.
 2014-12-08 18:21:00 -05:00
Sorin Ionescu
ba351df9fb [Fix #748] Set grep color for BSD and GNU 2014-12-08 18:13:25 -05:00
Jacob Swartwood
925b94b6e2 Fix Powerline unicode characters 
Branch & separator characters are updated to display properly.
 2014-12-08 18:02:22 -05:00
Ranek Kiil
c171621747 Fix issue with several themes where errors occur 
if the git module is not loaded.
 2014-12-08 17:58:15 -05:00
Mathias Fussenegger
0148ee6a4d Check for S.gpg-agent to see if gpg-agent is running 
From GnuPG changelog:

>  Removed the GPG_AGENT_INFO related code.  GnuPG does now
>  always use a fixed socket name in its home directory.

Signed-off-by: Sorin Ionescu <sorin.ionescu@gmail.com>
 2014-12-08 17:54:41 -05:00
Grégoire Détrez
fc3f8025ea Add a preexec hook to set the GPG-Agent TTY 
Signed-off-by: Sorin Ionescu <sorin.ionescu@gmail.com>
 2014-12-08 16:38:20 -05:00
Sorin Ionescu
9539341e1e [Fix #732] Replace $GREP_OPTIONS with an alias 2014-11-24 13:05:34 -05:00
nfnty
13d1ed160e Use $GNUPGHOME if it exists 2014-11-22 14:51:06 -05:00
Harry Terkelsen
2a33581e80 [Fix #724] Unquote variable 
Signed-off-by: Sorin Ionescu <sorin.ionescu@gmail.com>
 2014-11-15 14:16:00 -05:00
Rys Sommefeldt
3dd4cbc3c0 Fix typo 
Signed-off-by: Sorin Ionescu <sorin.ionescu@gmail.com>
 2014-11-14 17:24:07 -05:00
Sorin Ionescu
7a92046c86 Create a new tmux session if none exists 2014-11-13 19:40:41 -05:00
Yegor Pomortsev
3012c0984b Remove extra git-dir call in git-info and use git_dir variable instead 2014-11-12 19:19:19 -05:00
Daniel Kolakowski
00a5639e65 Enable iTerm2 tmux integration 
Signed-off-by: Sorin Ionescu <sorin.ionescu@gmail.com>
 2014-11-12 18:19:58 -05:00
Ralph von der Heyden
3cb1f7c4c9 Inform how to add SSH identities to Keychain 
Signed-off-by: Sorin Ionescu <sorin.ionescu@gmail.com>
 2014-11-11 22:52:40 -05:00
Shane O'Grady
90eae2b491 If a default Ruby is set, switch to it 
Set PATH variables to allow gems such as Bundler to be found and for the
`ruby-info` function to properly work.

A default Ruby must be set in ~/.ruby-version; for more information, see
https://github.com/postmodern/chruby#default-ruby.

Signed-off-by: Sorin Ionescu <sorin.ionescu@gmail.com>
 2014-11-11 22:52:40 -05:00
Sorin Ionescu
d349c1cec7 Convert the PeepCode theme to git-info 2014-11-11 20:51:47 -05:00
Sorin Ionescu
a7a4912940 Add paradox theme 2014-11-11 20:51:46 -05:00
Sorin Ionescu
82710c29fc Fix theme function declaration style 2014-11-11 20:51:46 -05:00
Sorin Ionescu
9f82926f6e Add pure theme 2014-11-11 20:51:46 -05:00
Sorin Ionescu
61e91b8fb0 Add agnoster theme 2014-11-11 20:51:46 -05:00
Sorin Ionescu
967c91a351 Add powerline theme 2014-11-11 20:51:46 -05:00
Sorin Ionescu
087fce8548 Update sorin theme screenshot 2014-11-11 20:51:45 -05:00
Sorin Ionescu
2ae905a625 Indicate inside Emacs 2014-11-11 20:51:45 -05:00
Sorin Ionescu
19fc31c342 Indicate SSH connections 2014-11-11 20:51:45 -05:00
Kevin Laude
e76df6022d Add cloud theme 
Signed-off-by: Sorin Ionescu <sorin.ionescu@gmail.com>
 2014-11-11 20:51:44 -05:00
Sorin Ionescu
c2d62c3b47 Add ruby-info to smiley theme 2014-11-11 20:51:44 -05:00
Nadav Shatz
03336db523 Add smiley theme 
Signed-off-by: Sorin Ionescu <sorin.ionescu@gmail.com>
 2014-11-11 20:51:44 -05:00
Sorin Ionescu
1bc4235a5e Escape '%' in path 2014-11-11 20:51:44 -05:00
Daniel Møller Kristensen
c078c47c9d Add damoekri theme 
Signed-off-by: Sorin Ionescu <sorin.ionescu@gmail.com>
 2014-11-11 20:51:44 -05:00
Sorin Ionescu
0bede677e6 Add kylewest theme 2014-11-11 20:51:44 -05:00
Sorin Ionescu
ad09f29fd5 Add skwp theme 2014-11-11 20:51:42 -05:00
Paul Gideon Dann
567506f7e7 Update giddie theme 
Signed-off-by: Sorin Ionescu <sorin.ionescu@gmail.com>
 2014-11-05 22:52:38 -05:00
Sorin Ionescu
13ed3a1bf7 Add giddie theme 2014-11-05 22:52:38 -05:00
Sorin Ionescu
ab7f697734 [Fix #713] Set prompt theme off in unsupported terminal 2014-11-05 17:41:36 -05:00
Linh M. Tran
d020d34e59 Fix node-info to show right node version 
Currently, node-info shows nothing if $version is different than 'none'.
 2014-10-19 17:21:54 +07:00
Milan Milanov
17a6124b43 Fix git log pretty format argument 2014-10-18 16:32:49 +02:00
Sorin Ionescu
3c47c57c87 [Fix #698] Describe module in README the same as in code 2014-10-15 18:54:24 -04:00
Jeff Widman
ff0cdd3ed7 Fix typo in Perl module readme 2014-10-15 18:49:47 -04:00
Sorin Ionescu
b948e3630b Load Homebrew installed NVM 2014-10-13 11:57:20 -04:00
Indrajit Raychaudhuri
55e4db9429 Enable 'acls', 'xattrs' support in rsync whenever available 
rsync has support for these available in most cases and isn't
specific to Mac OS X any more.

Signed-off-by: Sorin Ionescu <sorin.ionescu@gmail.com>
 2014-10-12 19:20:55 -04:00
Ivan Alejandro
86ba5b69d3 Ignore case in filenames 
Signed-off-by: Sorin Ionescu <sorin.ionescu@gmail.com>
 2014-10-10 18:55:26 -04:00
Griffin Yourick
34a50c2550 Add homebrew-cask aliases to homebrew module 
Signed-off-by: Sorin Ionescu <sorin.ionescu@gmail.com>
 2014-10-10 18:51:14 -04:00
Sebastian Wiesner
417b9d429d Update OPAM setup 
Recent OPAM versions generate more elaborate setup code.
 2014-10-10 18:38:32 -04:00