gistfile1.py

# The language list was generated using the following lines of Python

from pygments.lexers import get_all_lexers
import json
xs = [ (x[0], i) for i, x, _, _ in get_all_lexers() ]
xs.sort()
    
f = open('file', 'w')
json.dump(xs, f)
    
# and pasting the file into snip.js