1
0
Fork 0

Compare commits

...

2 Commits

Author SHA1 Message Date
Adrien Abraham d77b4f05c3 openobs: tiny script to open obs UUIDs
2 months ago
Adrien Abraham 3140020d3b bang: idk, a fix
2 months ago

@ -153,15 +153,18 @@ def main():
exit("Bad Rofi output.")
handle = parts[0]
query = None
if handle not in handles and (default_handle := args.default):
handle = default_handle
if len(parts) == 1:
queries.append(parts[0])
query = parts[0]
else:
queries.append(output)
query = output
elif len(parts) == 2:
query = parts[1]
if len(parts) == 2:
queries.append(parts[1])
if query is not None:
queries.append(query)
# If no queries were obtained during options parsing,
# show Rofi now to get a single query.

@ -0,0 +1,25 @@
#!/usr/bin/env python3
import argparse
import uuid
import webbrowser
OBS_URL_F = "https://openobs.mnhn.fr/redirect/sinp/occurrences/{obs_uuid}"
TEST1 = "45A202E8-A4D0-41E9-AC27-041004CB8AD0"
TEST2 = "45A202E8A4D041E9AC27041004CB8AD0"
def main():
parser = argparse.ArgumentParser()
parser.add_argument("uuid")
args = parser.parse_args()
open_uuid(args.uuid)
def open_uuid(uuid_str: str):
obs_uuid = uuid.UUID(uuid_str)
webbrowser.open_new_tab(OBS_URL_F.format(obs_uuid=str(obs_uuid)))
if __name__ == "__main__":
main()
Loading…
Cancel
Save