Skip to content
This repository was archived by the owner on Feb 23, 2021. It is now read-only.

Comments

add servernum keyword to clusto-query#12

Open
Roguelazer wants to merge 1 commit intomasterfrom
servernum
Open

add servernum keyword to clusto-query#12
Roguelazer wants to merge 1 commit intomasterfrom
servernum

Conversation

@Roguelazer
Copy link
Contributor

Allows you to run queries like

% clusto-query "pool = app and servernum < 10"

to get the first 10 app hosts

It'd be fun to do real type inference here instead of just assuming that they type returned by the lhs is always accurate.

@CLAassistant
Copy link

CLAassistant commented Jun 27, 2019

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
You have signed the CLA already but the status is still pending? Let us recheck it.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants