File Explorer

/proc/self/root/proc/thread-self/root/proc/thread-self/root/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 /.

hz.py1011 B · 40 lines
## hz.py: Python Unicode Codec for HZ## Written by Hye-Shik Chang <perky@FreeBSD.org># import _codecs_cn, codecsimport _multibytecodec as mbc codec = _codecs_cn.getcodec('hz') 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='hz',        encode=Codec().encode,        decode=Codec().decode,        incrementalencoder=IncrementalEncoder,        incrementaldecoder=IncrementalDecoder,        streamreader=StreamReader,        streamwriter=StreamWriter,    )