| def default_url(handler): | |
| user = handler.current_user | |
| if not user: | |
| # not logged in, send to login, no ?next | |
| # that way, default_url will be called again after successful login | |
| return handler.get_login_url() | |
| if "admin-ui" in handler.expanded_scopes: | |
| # has permission to view the admin page | |
| return handler.base_url + "hub/admin" | |
| else: |
| #include <stdio.h> | |
| // #include <zlib.h> | |
| #include "libfoo.h" | |
| int main() { | |
| // printf("libz version: %s\n", zlibVersion()); | |
| printf("libz version via libfoo: %s\n", zlibv()); | |
| } |
| ================================================================================ | |
| ================================================================================ | |
| linux-armv7l | |
| ================================================================================ | |
| ================================================================================ | |
| win-32 | |
| ================================================================================ | |
| ================================================================================ | |
| osx-arm64 | |
| osx-arm64::coda-2.25.1-py310h1db3a1d_0.conda |
| #!/usr/bin/env python3 | |
| r""" | |
| Count frequency of git alias use, including expanded alias in count output | |
| run with `alias | python3 countalias.py` | |
| for https://social.jvns.ca/@b0rk/111535523669398292 | |
| Almost enough (doesn't recover original alias) in bash: |
| """ | |
| Reorder site-packages ahead of Extras and lib-dynload. | |
| Two implementations: | |
| 1. puts site-packages ahead of stdlib (technically hazardous, | |
| but not really an issue). | |
| 2. is more conservative, only demoting Extras below site-packages. | |
| Add this to ~/Library/Python/2.7/lib/python/site-packages/sitecustomize.py | |
| """ |