mirror of https://github.com/huashengdun/webssh
Added fonts directory
parent
b805605278
commit
dcbd4a575a
|
@ -158,8 +158,8 @@ def get_origin_setting(options):
|
|||
|
||||
|
||||
def get_font_setting(font, font_dir):
|
||||
filenames = {f for f in os.listdir(font_dir) if
|
||||
os.path.isfile(os.path.join(font_dir, f))}
|
||||
filenames = {f for f in os.listdir(font_dir) if not f.startswith('.')
|
||||
and os.path.isfile(os.path.join(font_dir, f))}
|
||||
if font:
|
||||
if font not in filenames:
|
||||
raise ValueError(
|
||||
|
|
Loading…
Reference in New Issue