Email or username:

Password:

Forgot your password?
588 posts total
Andrew Tropin

Continue the topic of emacs completion. Today we talk about abbrev, dabbrev and snippets.

youtu.be/uBRxUnMYIjs

#emacs

Andrew Tropin

Hack yeah! Successfully built a livecd with my complete sway/emacs home environment.

Sergey. :arch: :vim:

@abcdw thinking about switching to sway many times.. sway is good for sure, but how do you plan to manage some apps that are not working yet, like chromium-based screen sharing (zoom probably already working at the moment), flameshot, redshift, and so on.

Csepp 🌢

@abcdw Is this related to that "bridging guix system and home" issue? 👀

Andrew Tropin

Emacs tip of the day. If you need to configure/tweak something in #emacs, it's very likely that the solution is already in Protesilaos' config:

protesilaos.com/dotemacs

Andrew Tropin

If you use #guix graphical installer and network check fails:

touch /tmp/installer-assume-online

Andrew Tropin

To prevent Emacs polluting my find-file dialog with compiled guile files I add a line to .dir-locals.el:

(eval . (add-to-list 'completion-ignored-extensions ".go"))

It also makes files with this extension fade in dired.

#emacs #guile #guix

Andrew Tropin

Preparing "Emacs Completion Explained" stream.

youtu.be/fnE0lXoe7Y0

Bring your questions and suggestions to #tropin channel on libera.chat or my email.

web.libera.chat/gamja/#tropin

#emacs

Andrew Tropin

Documented almost all #emacs configuration packages provided by #rde

Now it gives at least some idea about what settings and tweaks are baked in them.

Andrew Tropin

I configured WKD for trop.in domain, now you can get my gpg key using simple command:
gpg --locate-keys andrew@trop.in

Some mail clients will do it automagically.

More information on WKD and how to configure it here:
uriports.com/blog/setting-up-o
keys.openpgp.org/about/usage#w

Kudos to @proactiveservices and @wiktor for the comments, links, articles and all the help.

#gnu #gnupg #gpg #pgp #wkd

I configured WKD for trop.in domain, now you can get my gpg key using simple command:
gpg --locate-keys andrew@trop.in

Some mail clients will do it automagically.

More information on WKD and how to configure it here:
uriports.com/blog/setting-up-o
keys.openpgp.org/about/usage#w

Collin Doering

@abcdw @proactiveservices @wiktor TIL gpg WKD.

Definitely want to set something like this up for myself. Thanks for sharing 😃

Go Up