| import torch | |
| torch.cuda.is_available() | |
| #True | |
| torch.cuda.device_count() | |
| #1 | |
| torch.cuda.current_device() | |
| #0 | |
| torch.cuda.get_device_name(0) | |
| #'GeForce GTX 1080' |
##git mergetool
In the middle file (future merged file), you can navigate between conflicts with ]c and [c.
Choose which version you want to keep with :diffget //2 or :diffget //3 (the //2 and //3 are unique identifiers for the target/master copy and the merge/branch copy file names).
:diffupdate (to remove leftover spacing issues)
:only (once you’re done reviewing all conflicts, this shows only the middle/merged file)
Locate the section for your github remote in the .git/config file. It looks like this:
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
url = [email protected]:joyent/node.git
Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this:
| ''' | |
| chunked_server_test.py | |
| Copyright August 3, 2012 | |
| Released into the public domain | |
| This implements a chunked server using Python threads and the built-in | |
| BaseHTTPServer module. Enable gzip compression at your own peril - web | |
| browsers seem to have issues, though wget, curl, Python's urllib2, my own | |
| async_http library, and other command-line tools have no problems. |
