Skip to main content
Super User
Michael Harvey's user avatar
Michael Harvey's user avatar
Michael Harvey's user avatar
Michael Harvey
  • Member for 13 years, 2 months
  • Last seen this week
  • Bristol, UK
Profile Activity
Stats
1,961
reputation
278k
reached
78
answers
2
questions
Communities
View all
About

Retired Civil Servant

Badges
View all badges
This user doesn’t have any gold badges yet.
14
silver badges
11
bronze badges
Top tags
View all tags
53
Score
27
Posts
34
Posts %
47
Score
22
Posts
28
Posts %
29
Score
14
Posts
18
Posts %
21
Score
8
Posts
10
Posts %
18
Score
10
Posts
12
Posts %
18
Score
9
Posts
11
Posts %
Top posts
View all questions and answers
18
Prevent extra space when setting variable on Windows command line
Apr 24, 2011
11
Converting FLAC to MP3 using FFMPEG?
Aug 16, 2018
8
How can I cut a collection of images in half on Windows 10?
Oct 17, 2022
8
What is the "%%" arithmetic in a batch file?
Sep 16, 2020
7
Increase cursor/caret width?
May 6, 2019
6
How can I output a list of filenames surrounded by quotation marks?
Aug 27, 2020
4
batch change date of all files in dir based on name order
Oct 14, 2018
3
Command prompt how to exclude windows partition using for loop
Feb 9, 2021
3
What is the path to notepad++ on ubuntu?
May 20, 2019
3
Invalid command line option: --set-version
Sep 29, 2019
Top network posts
View all network posts
73
"My son/daughter" or "Our son/daughter"?
62
What do you call those "round checkboxes"?
59
What is the difference between "behavior" and "behaviour"?
58
Does this picture show an Arizona fire department extinguishing a fire in Mexico?
54
What is the thin flat piece of wood that you have when you sharpen your pencil called?