I guess it bears repeating. Bluntly this time.

If you're going to send a follow request, please do something with your Mastodon/Pleroma/Whatever profile. No activity on your instance account looks fishy. 🐟 I'm just going to cancel it outright if that's the case.

I know I'm not the only one on the Fediverse that feels this way.

Β· Β· Web Β· 10 Β· 15 Β· 32

The ONLY reason I have my account locked to follows is to discover and report bots.

@claudiom A step in the initial registration process should be to fill out a profile, and don't make that skippable. It might help to reduce spam also.

@bob Agreed, but that might be up to the instance.


No repeating bears!

They are single-use, for disposal only!

@wauz I thought it was just a case of acid reflux that they had. 🐻

@claudiom I will send a request. Hopefully you'll enjoy what I've done with my profile thus far!

(Incidentally: my profile banner pic is an aerial view of Ocean City, Maryland)

@scooterbird Also, the moment I saw screenshots during IGWH, I knew I had to approve. πŸ˜…

@claudiom Just made my first toot. This is the second post. Thanks for following me back, Claudio. I was hoping to find OpenBSD users/dev here who actually use the platform. Glad to see you're looking for community engagement too. I got a tech question for you, if you don't mind. To prove I'm not a bot, I'll wait for your reply to this.


Thanks! :ablobcheer:

So my question for you is this: How do I rename a file that has a corrupted filename? I downloaded a song and the filename got all jumbled with question marks, and mv doesn't seem to recognize what I'm trying to do when I attempt renaming it (tab-completion doesn't fill the rest off the name).

The file name is something like ???It???s Name of the song???.mp3

I read the mv man page and I'm not seeing a solution to this. I also read the rename man page but that's a little beyond my ability right now.

Any help is appreciated. Thank you.


I can't select the file in my media player either. I wonder if that means the system doesn't see it? I'd delete it and and just download the song again but I can't even delete it.

@learningopenbsd The command should be as follows:

mv "???It???s Name of the song???.mp3" CorrectName.mp3

Is that what you tried?


Sorry for the delayed response. Yes, exactly, with the necessary \ at the end of the words, too.

I read a tutorial for mv (for Linux) somewhere that said to place \ before the ???s and that didn't work either.

So far I've tried:


$ mv "???It???s Name of the song???.mp3" CorrectName.mp3

double quotation marks


$ mv '???It???s Name of the song???.mp3' CorrectName.mp3

single quotation marks

3) $ mv \???It???s\ Name\ of\ the\ song???.mp3 CorrectName.mp3

with backslash


$ mv "\???It???s\ Name\ of\ the\ song???.mp3 CorrectName.mp3

double quotation marks with backslashes

4) mv '\???It???s\ Name\ of\ the\ song???.mp3' CorrectName.mp3

single quotation marks with backslashes


Example number 3 in real-world use had the ending quotation mark. I accidentally didn't type it in in that last toot.

3 properly reads (i double checked my terminal history to confirm I typed):

$ mv ""\???It???s\ Name\ of\ the\ song???.mp3" CorrectName.mp3

It still doesn't work.

I'm going crazy here.

@learningopenbsd I believe the escape slashes are only if you're not using the quotes.

@learningopenbsd OK, try this workaround. Install bash and then do it with the quotes. Ksh can be funky sometimes with things like that. You can delete bash once you're done with it.


bash-5.0$ doas mv "???It???s Name of the song???.mp3" CorrectName.mp3: No such file or directory

I think the wildcards are somehow preventing the system from (even Bash) from knowing it's there.

I'm just gonna delete it and redownload.


Thanks for your help, Claudio. I hope I to one day know how to help others and be as willing to help them as you have been willing to help me today.

Thanks and God bless.


This update on your post is to make it known this account should not look fishy :🐟 🚫

Thanks for accepting the friend request, Claudio. I have a question for you about resizing home partitions (that isn't answered by reading the appropriate FAQ doc []):

Assume /home is too small.
Which is the correct solution:

1. use growfs to expand /home

2. use disklabel to make a new partition, and leave /home alone

Thanks for your time.

@LucaMac Hi there.

Looking at the FAQ, there is a section on growing a partition and that should also include the /home partition even though it's not mentioned by name (it's just a partition like any other). It does say that there needs to be free space after it in order to grow it, otherwise you can't.

If you used the automatic partitioning, you might want to redo your installation and manually partition things. I usually have one partition for / and then swap on my laptops.

@LucaMac You can actually make a list of packages you have installed and duplicate them on a new install, which should be easier.


Thanks for the reply.

Defaults allocated 1/3 disk space to /home. Given "sane defaults", is it unwise to expand 1/3 to 2/3?

@LucaMac It's really up to you. Personally, I'd say whatever works for you as "sane defaults." I wouldn't read too much into it.

Sign in to participate in the conversation
Mastodon @ SDF

"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko