| """Export highlights made with the Sioyek PDF viewer | |
| (https://github.com/ahrm/sioyek/) as a text document. | |
| Copyright (C) 2024 by Paul Brodersen. | |
| This program is free software: you can redistribute it and/or modify | |
| it under the terms of the GNU General Public License as published by | |
| the Free Software Foundation, either version 3 of the License, or (at | |
| your option) any later version. This program is distributed in the | |
| hope that it will be useful, but WITHOUT ANY WARRANTY; without even |
Note: This gist may be outdated, thanks to all contributors in comments.
adb is the Android CLI tool with which you can interact with your android device, from your PC
You must enable developer mode (tap 7 times on the build version in parameters) and install adb on your PC.
Don't hesitate to read comments, there is useful tips, thanks guys for this !
| #!/usr/bin/env python | |
| # -*- coding: utf-8 -*- | |
| # | |
| # This is how I used it: | |
| # $ cat ~/.bash_history | python bash-to-zsh-hist.py >> ~/.zsh_history | |
| import sys | |
| import time |