Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

user-setup.0.1 - via opam-publish #3428

Merged
merged 1 commit into from Jan 22, 2015

Conversation

AltGr
Copy link
Member

@AltGr AltGr commented Jan 21, 2015

OPAM User Setup helper to configure various editors and tools for OCaml

This package, currently in alpha, attempts to help initial setup for new OCaml
users by automating the tedious task of adjusting editor and tool configuration.

It will run after the installation of ocp-indent, merlin or similar tools and
adjust the configuration for your available editors accordingly. It won't suit
advanced users who prefer to do such things by hand anyway.



Pull-request generated by opam-publish v0.2.1

@samoht
Copy link
Member

samoht commented Jan 21, 2015

=-=-= Installing user-setup.0.1 =-=-=
user-setup.0.1 Downloading https://github.com/AltGr/opam-user-setup/archive/0.1.tar.gz
Building user-setup.0.1:
  make
  ./opam-user-setup merlin
No output has been received in the last 10 minutes, this potentially indicates a stalled build or something wrong with the build itself.

That's surprising!

@avsm
Copy link
Member

avsm commented Jan 22, 2015

twas a stuck job in Travis

@avsm
Copy link
Member

avsm commented Jan 22, 2015

And still hanging, but only on OPAM 1.1. Possibly a missing environment variable

@avsm
Copy link
Member

avsm commented Jan 22, 2015

Going ahead and merging this despite the mysterious OPAM 1.1 failure, so it can get wider testing.

avsm added a commit that referenced this pull request Jan 22, 2015
@avsm avsm merged commit 9a5b53f into ocaml:master Jan 22, 2015
@AltGr
Copy link
Member Author

AltGr commented Jan 23, 2015

Hanging happens in vim's init script, for some reason vim believes it should go interactive it seems. On it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants