Похоже, вы ищете метод Character.forDigit
:
final int RADIX = 10;
int i = 4;
char ch = Character.forDigit(i, RADIX);
System.out.println(ch); // Prints '4'
Существует также метод, который может преобразовать из char обратно в int:
int i2 = Character.digit(ch, RADIX);
System.out.println(i2); // Prints '4'
Обратите внимание, что, изменяя RADIX
, вы также можете поддерживать шестнадцатеричный (радиус 16) и любой радиус до 36 (или Character.MAX_RADIX
, так как он также известен).
Используйте cut
, чтобы получить только столбец1 и столбец3, используйте sort -u
, чтобы удалить дубликаты, а затем используйте wc -l
, чтобы получить счет:
zgrep ',80447,' AU_AAID_201812*.tsv.gz | cut -d, -f1,3 | sort -u | wc -l