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 2 months ago
Votes Newest

Answers 4


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 2 months ago

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

  
  
Posted 2 months ago

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

  
  
Posted 2 months 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 2 months ago
146 Views
4 Answers
2 months ago
2 months ago
Tags
Similar posts