Examples: query, "exact match", wildcard*, wild?ard, wild*rd
Fuzzy search: cake~ (finds cakes, bake)
Term boost: "red velvet"^4, chocolate^2
Field grouping: tags:(+work -"fun-stuff")
Escaping: Escape characters +-&|!(){}[]^"~*?:\ with \, e.g. \+
Range search: properties.timestamp:[1587729413488 TO *] (inclusive), properties.title:{A TO Z}(excluding A and Z)
Combinations: chocolate AND vanilla, chocolate OR vanilla, (chocolate OR vanilla) NOT "vanilla pudding"
Field search: properties.title:"The Title" AND text
Answered
Is There A Way To Obtain The User

is there a way to obtain the user id without the REST API?
somewhere in the UI that users can obtain this?

  
  
Posted one month ago
Votes Newest

Answers 4


yep, that's options number 2 🙂
I will implement that

  
  
Posted one month ago

Why not give an option to provide their user name and then convert it in the code?

  
  
Posted one month ago

Hi @<1523701842515595264:profile|PleasantOwl46> , In the info section you can see the user name but not ID (However it is returned in the API request the webUI sends)

What is your use case?

  
  
Posted one month ago

I manage clearml-server for many users
wrote a script that pulls tasks (for review - pending deletion) and limit for specific user (saw the REST can limit only by user id )
so user will need to provide the script his own user id in advance
I guess my options are:

  • maintain stastic list of users (which I get from users.get_all endpoint)
  • add to my script another query that will match user name to user id, before running the tasks_get.all for specific user id
  
  
Posted one month ago
97 Views
4 Answers
one month ago
one month ago
Tags
Similar posts