# Desmos Files and a crawler Files in this directory are all 'desmos-file' which can be openned by the application, except a python script. ## Usage of the python script The python script is a little crawler can be used to download desmos file from the web if given the url as its first argv. For example, run this command in terminal. ``` python3 getDesByUrl.py https://www.desmos.com/calculator/4v3pgcuta0 ``` Then you will a the `.des` in current folder if the Internet is accessable. Open it and enjoy. :)