JHDBot icon indicating copy to clipboard operation
JHDBot copied to clipboard

Published 20 hours ago • verified publisher icon Fumenoid

Please add conversion system from imperial to metric

Open TommyAGK opened this issue 5 years ago • 2 comments

Please make the bot convert imperial to metric automatically when it spots a certain pattern in the text. Like the regex pattern of (\d{1,}'\d{1,}"), or other connotations of imperial.

TommyAGK avatar Oct 02 '20 08:10 TommyAGK

May I suggest (\d+'\d+\") instead? 😅

codemicro avatar Oct 02 '20 08:10 codemicro

What about ([1-9]'[1-9][0-9]?")

TommyAGK avatar Oct 02 '20 10:10 TommyAGK