Stephen Herbein

@kutsan: https://github.com/jwilm/alacritty/issues/821 and https://github.com/jwilm/alacritty/issues/639 might hold the answer to getting backtick to work. Trying using `Grave`

A few more I ran into while using emacs: ```yaml - { key: Minus, mods: Alt|Shift, chars: "\x1b_" } # Alt + _ - { key: Key5, mods: Alt|Shift, chars:...

> but do i have to copy all those mappings and change alt to command for mapping the command key on mac to the Meta key or am i missing...

Same. Under `Request Details`, I see: ``` response_type=token id_token scope=openid profile https://www.googleapis.com/auth/drive https://www.googleapis.com/auth/drive.install login_hint=*redacted* nonce=*redacted* state=*redacted* redirect_uri=https://stackedit.io/oauth2/callback ``` EDIT: If I go to stackedit.io directly and re-authenticate with Google Drive,...

That's a great question. TBH, I missed the full use-case. Something related to tools cleanup. Maybe @dongahn can summarize the use case better than me.

I just tried PSM2 on multiple nodes, and it worked. I believe this is related to this OpenMPI bug: https://github.com/open-mpi/ompi/issues/1559

I am not sure that it is related to #2170 or not, but once #2170 is fixed, I'm sure @damora and others will run into this bug too (depending on...

In recent call, there was a question from Robin about the ability to dump the contents of the resource graph database along with the status of all the resources within...

Summarizing the coffee time discussion relevant to this issue: - Restricting the number of jobs/nodes per user (either per system or per queue) AND still doing reservations would require pushing...

Thanks Dong for the table, I think that helps summarize the situation. Do we want to support muli-queue aware max aggregate resources per user on day 1? After our recent...