Stream: zulip

Topic: TIL


nikomatsakis (Oct 24 2019 at 16:47, on Zulip):

You can mute topics in Zulip

nikomatsakis (Oct 24 2019 at 16:48, on Zulip):

As well as adding alert words

nikomatsakis (Oct 24 2019 at 16:48, on Zulip):

As if I needed more notifications

Sunjay Varma (Oct 24 2019 at 16:50, on Zulip):

pasted image

Sunjay Varma (Oct 24 2019 at 16:50, on Zulip):

hehe I've been doing that for a while to avoid drowning in notifications :grimacing:

nikomatsakis (Oct 24 2019 at 17:19, on Zulip):

I mute streams

nikomatsakis (Oct 24 2019 at 17:19, on Zulip):

but I didn't realize you could mute topics

Sunjay Varma (Oct 24 2019 at 17:21, on Zulip):

Ohh yeah I do that too. :smile: I use the little "eye" icon beside the topic name. It's pretty dim to be honest, hard to find :sweat_smile:

Santiago Pastorino (Oct 24 2019 at 17:32, on Zulip):

@nikomatsakis in my mind you were like a Zulip god but I've already realized during RBR that that's not true :joy:

nikomatsakis (Oct 24 2019 at 17:32, on Zulip):

@Santiago Pastorino to be fair, the key G that you suggested -- I usually use the windows End key for that

Santiago Pastorino (Oct 24 2019 at 17:32, on Zulip):

:)

nikomatsakis (Oct 24 2019 at 17:32, on Zulip):

that said, I also recently discovered : for adding emoji

nikomatsakis (Oct 24 2019 at 17:32, on Zulip):

and e for editing

nikomatsakis (Oct 24 2019 at 17:33, on Zulip):

I mean I sort of knew those keys were there

nikomatsakis (Oct 24 2019 at 17:33, on Zulip):

but I've been enjoying using them a lot more :)

Santiago Pastorino (Oct 24 2019 at 17:33, on Zulip):

i also for contextual menus

nikomatsakis (Oct 24 2019 at 17:33, on Zulip):

and left arrow for "edit most recent message"

Santiago Pastorino (Oct 24 2019 at 17:33, on Zulip):

remember w :)

Santiago Pastorino (Oct 24 2019 at 17:33, on Zulip):

and left arrow for "edit most recent message"

that one is good too

nikomatsakis (Oct 24 2019 at 17:33, on Zulip):

tbh left arrow vs e is kind of annoying

nikomatsakis (Oct 24 2019 at 17:33, on Zulip):

I should probably just always use e

Santiago Pastorino (Oct 24 2019 at 17:34, on Zulip):

another one I use frequently is / so I can just quickly jump into a topic or something by searching

nikomatsakis (Oct 24 2019 at 17:34, on Zulip):

soon we'll get to emacs level of complexity. I realized the other day that I regularly type things like C-u C-x 4 M-. and I was "oh dear god how many neurons are wasted on this"

nikomatsakis (Oct 24 2019 at 17:35, on Zulip):

(for the record, that lets you type in a symbol name and pops open a fresh window that shows you where it is defined)

Wesley Wiser (Oct 24 2019 at 17:44, on Zulip):

soon we'll get to emacs level of complexity. I realized the other day that I regularly type things like C-u C-x 4 M-. and I was "oh dear god how many neurons are wasted on this"

Looks like you're learning vi by way of Zulip :laughter_tears:

Santiago Pastorino (Oct 24 2019 at 18:41, on Zulip):

btw https://zulipchat.com/help/ seems to be good for all this stuff :)

Santiago Pastorino (Oct 24 2019 at 18:42, on Zulip):

I've learned there that you can mention people without alerting them

RalfJ (Nov 03 2019 at 12:25, on Zulip):

but I didn't realize you could mute topics

unfortunately you cannot unmute a topic in a muted stream. that would be super useful.

RalfJ (Nov 03 2019 at 12:25, on Zulip):

like, #t-compiler has way too much stuff but sometimes there's one topic that I am involved in.

RalfJ (Nov 03 2019 at 12:26, on Zulip):

so everyone please remember to @-mention people when responding^^

Last update: Nov 17 2019 at 07:45UTC