File Explorer

/proc/self/root/proc/self/root/usr/lib64/python3.9/encodings

This explorer reads the filesystem of the server it runs on, so /workspace/user isn't present here. Browsing and the terminal still work against this server's own disk from /.

iso2022_kr.py1.0 KB · 40 lines
## iso2022_kr.py: Python Unicode Codec for ISO2022_KR## Written by Hye-Shik Chang <perky@FreeBSD.org># import _codecs_iso2022, codecsimport _multibytecodec as mbc codec = _codecs_iso2022.getcodec('iso2022_kr') class Codec(codecs.Codec):    encode = codec.encode    decode = codec.decode class IncrementalEncoder(mbc.MultibyteIncrementalEncoder,                         codecs.IncrementalEncoder):    codec = codec class IncrementalDecoder(mbc.MultibyteIncrementalDecoder,                         codecs.IncrementalDecoder):    codec = codec class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):    codec = codec class StreamWriter(Codec, mbc.MultibyteStreamWriter, codecs.StreamWriter):    codec = codec def getregentry():    return codecs.CodecInfo(        name='iso2022_kr',        encode=Codec().encode,        decode=Codec().decode,        incrementalencoder=IncrementalEncoder,        incrementaldecoder=IncrementalDecoder,        streamreader=StreamReader,        streamwriter=StreamWriter,    )