Peppermint
/
bubbles
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Updated 

Signed-off-by: debianpepper <pdpdebdevuan@protonmail.com>
This commit is contained in:
debianpepper 2024-06-22 22:03:15 +09:00
parent 96cd14ac6b
commit 0d6d996701
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
python_modules/infra.py
View File

@ -373,6 +373,9 @@ def get_id_build_type():
shutil.copy(src_file, dest_file) shutil.copy(src_file, dest_file)
print(f'Copied: {src_file} to {dest_file}') print(f'Copied: {src_file} to {dest_file}')
def ignore_missing_files(src, names):
return [name for name in names if not os.path.exists(os.path.join(src, name))]
def add_web_profile(): def add_web_profile():
""" """