Dirk
Cooperate forces me.
iit’s just a new keycap
Plus the configuration that is needed to remap the key back to the correct key code.
Like with the Windows key, this won't be an option.
Yes. The Microsoft standard. Like the Windows key on all keyboards nowadays.
Do people actually want this?
Absolutely not. But this is the new standard now.
This is really dependent on […]
… basically anything. Yes. You will always find yourself in problems where the best practice isn’t the best solution for.
In your described use case an option would be having the application inside the container running with 10000:10001
but writing the data into another directory that is configured to use 1000:1001
(or whatever the user is you want to access the data with from your host) and just mount the volume there. This takes a bit more configuration effort than just running the application with 1000:1001
… but still :)
Woah, stop! No professionals!
I simply play music using mpv.
I personally use yadm
I just use some code and Git.
if [ ! -z "$PS1" ]; then
repo="${XDG_CONFIG_HOME}/dotfiles/"
br='origin/main'
title="\e[1m\e[31m\n ░▒▓\e[7m %s \e[27m▓▒░\e[0m\n\n%s\n\n"
status="$(git --git-dir="$repo" --work-tree="$HOME" status -s)"
diff=$(git --git-dir="$repo" --work-tree="$HOME" diff --stat --cached $br)
[ -n "$status" ] && printf "$title" "Uncommited changes!" "$status"
[ -n "$diff" ] && printf "$title" "Not yet pushed commits!" "$diff"
unset title status diff br
alias dotfiles="/usr/bin/git --git-dir=$repo --work-tree=$HOME"
fi
The code runs when it's an interactive shell with a PS1 prompt and just checks if any of the tracked files have changed or if there are commits that are not pushed. By configuration I ignore all untracked files. If something has changed or wasn't pushed it always prints an annoying message.
Whenever I want to do something I use dotfiles .....
instead of git .....
, everything else works the same.
This. Thread should have officially ended here.
I remember years ago it already was like this in the forums. It actually made me stop using it and running a custom made web based reader for some time.
I wouldn't use it anymore nowadays.
FreshRSS is the way to go. It even has plugins (and a plugin for YouTube channels as RSS feeds, very convenient).