Tobias Pflug

Results 23 issues of Tobias Pflug

Currently when I press `TAB` it will cycle through suggestions and in order to pick the highlighted entry I have to press ``. Is there a way to configure coq...

I am currently working on a setup where I run `check` and `dump` during the same suite: ``` Regression ${pageName} for ${device} ${browser} selenium grid ${gridUrl} --page ${url}${path} --size ${size}...

enhancement
p3
c2

Ramda is moving along nicely and the user base is growing. Yay. As things are taking up pace I wonder if it made sense to do a bit more on...

1.0 discussion

### problem scenario I tried using `codex` for https://github.com/tweag/ormolu/ and for some reason it tries to parse a completely unrelated project from a different directory: ``` $ codex update codex:...

``` $ CODEX_DISABLE_WORKSPACE=1 /tmp/codex update codex: Saved package config file is outdated: • the Cabal version changed from Cabal-2.4.1.0 to Cabal-2.4.0.1 Re-run the 'configure' command. codex: *warning* falling back on...

``` javascript var f = function () { var pointless = 10; pointless += 1; return pointless; }; f(); ``` Trying to rename pointless (via :TernRename with cursor on pointless)...

The README now has an API section, the next step is to add a Usage segment which should also cover overrides, the different ways to override (with defaults, without, with...

One feature that I am really missing is to return from a file diff to the diff overview: 1) :Gitv 2) Select a commit with 3) Switch to the new...

feature request

``` ● nix-serve.service - nix-serve binary cache server Loaded: loaded (/nix/store/brjgzcg5cl9jfp2h6m94sxymgf82i0b1-unit-nix-serve.service/nix-serve.service; bad; vendor preset: enabled) Active: active (running) since Mon 2017-01-23 14:49:20 UTC; 1 weeks 1 days ago Main PID:...

I have a rather big nodejs project in which I currently have a `node_modules` derivation which creates the contents of the `node_modules` directory by calling `npm install` - obviously I...