Follow

changing your linux username breaks so many things

@132ikl ⚠️ DONT ACTUALLY DO THIS ⚠️

find / -type f -exec sed -i s/OLDNAME/NEWNAME/g '{}' ';'

find / -type d -name OLDNAME -exec sh -c 'n="{}"; mv "$n" "${n%OLDNAME}NEWNAME"' ';'

@132ikl if i were making an operating system, i would simpley force programs to use the user id instead. it would be easy

@orichalcumcosmonaut i think most things that break it are things that use absolute path for some godforsaken reason

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.