fork(2) download
  1. import re
  2. print ( re.sub( r'\D+', '', '1۱۲۳۴۵۶۷۸۹0') )
  3. print ( re.sub( r'[^0-9]+', '', '1۱۲۳۴۵۶۷۸۹0') )
  4.  
Success #stdin #stdout 0.02s 9432KB
stdin
Standard input is empty
stdout
1۱۲۳۴۵۶۷۸۹0
10