@marix

Musst leider $suchmaschine bemühen, kam per Email von Slack selbst.

@spotlight

Kinda, but it seems to work on a pretty outdated search index. While the regular search finds up to 20 results (for my sample search), codesearch only comes up with two fairly old results.

@musicmatze

That's exactly what I do as well. Embarrassing 😆

The GitHub search experience:

1. Enter a search term
2. Take note of the 5 results
3. Click Search button again
4. Take note of completely different results
5. Repeat steps 3 and 4 until you're satisfied with the results

Yes, yes, search engines are hard, but this is embarrassing.

@mysticmode

Basically three options (for terminals specifically):

1. Use asciinema, which records your terminal's stdin & -out. It generates a very small recording, but you can only play it back with the asciinema player, as it's not technically an image or movie format.

2. Script your interactions and record it with a regular screen recorder like OBS.

3. At charm we got fed up with the first two options and we wrote our own software that does the job. To be released in the next few days!

@11backslashes

That's the GitHub CLI tool. Similar things work for gitea & GitLab, of course.

Super handy alias for checking out GitHub pull requests:

gh pr list | cut -f1,2 | gum choose | cut -f1 | xargs gh pr checkout

😍

@Mnemonic

With very few exceptions aprox. 20x20x20cm are the perfect build platform dimensions. I barely need one of my bigger printers.

@Mnemonic

Actually exactly 20cm / 200mm in height 😄

I was tempted to print it with 300mm however.

Show older
Mastodon

The original server operated by the Mastodon gGmbH non-profit