h/fish-shell
1
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2026-06-02 22:21:15 -03:00
Code Issues Packages Projects Releases Wiki Activity

webconfig: Replace str.stripprefix with str.removeprefix

Browse Source 
str.stripprefix doesn't exist in Python:
https://docs.python.org/3/library/stdtypes.html#str.removeprefix

Closes #11840
This commit is contained in:
Sebastian Fleer
2025-09-30 09:14:21 +02:00
committed by Johannes Altmanninger
parent df5230ff4a
commit 4b21e7c9c7
2 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
share/tools/web_config/webconfig.py
View File

@@ -243,11 +243,13 @@ def parse_color(color_str):
elif comp == "--underline" or comp == "-u":
underline = "single"
elif comp.startswith("--underline="):
underline = comp.stripprefix("--underline=")
# TODO(python>3.8): use removeprefix
underline = comp[len("--underline=") :]
elif comp.startswith(
"-u"
): # Multiple short options like "-rucurly" are not yet supported.
underline = comp.stripprefix("-u")
# TODO(python>3.8): use removeprefix
underline = comp[len("-u") :]
elif comp == "--italics" or comp == "-i":
italics = True
elif comp == "--dim" or comp == "-d":