Super User
Michael Harvey's user avatar
Michael Harvey's user avatar
Michael Harvey's user avatar
Michael Harvey
  • Member for 12 years, 7 months
  • Last seen this week
  • Bristol, UK
Profile Activity
Stats
1,867
reputation
240k
reached
76
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
10
bronze badges
Top tags
View all tags
51
Score
27
Posts
35
Posts %
43
Score
22
Posts
28
Posts %
26
Score
14
Posts
18
Posts %
20
Score
8
Posts
10
Posts %
18
Score
10
Posts
13
Posts %
17
Score
9
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
17
Prevent extra space when setting variable on Windows command line
Apr 24, 2011
answer
11
Converting FLAC to MP3 using FFMPEG?
Aug 16, 2018
answer
8
What is the "%%" arithmetic in a batch file?
Sep 16, 2020
answer
7
Increase cursor/caret width?
May 6, 2019
answer
5
How can I cut a collection of images in half on Windows 10?
Oct 17, 2022
answer
5
How can I output a list of filenames surrounded by quotation marks?
Aug 27, 2020
answer
4
batch change date of all files in dir based on name order
Oct 14, 2018
answer
3
Command prompt how to exclude windows partition using for loop
Feb 9, 2021
answer
3
What is the path to notepad++ on ubuntu?
May 20, 2019
answer
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?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.