3 ms·Using some console tools like echo and sed: https://mathilde.website https://mathilde.websiteby m_b 7y agoUsing some console tools like echo and sed: https://mathilde.website https://mathilde.website