Как указать уникальный java.io.tmpdir для каждого пользователя многопользовательской установки Eclipse?

Если вы знаете, что в строке будет только одно число, то есть «привет 12 привет», вы можете попробовать фильтр.

Например:

In [1]: int(filter(str.isdigit, '200 grams'))
Out[1]: 200
In [2]: int(filter(str.isdigit, 'Counters: 55'))
Out[2]: 55
In [3]: int(filter(str.isdigit, 'more than 23 times'))
Out[3]: 23

Но будьте осторожно !!! :

In [4]: int(filter(str.isdigit, '200 grams 5'))
Out[4]: 2005