matplolib does a pretty good job.
plt.scatter(as for 2d plots with
import matplotlib.pyplot as plt)
from mpl_toolkits.mplot3d import Axes3D fig = plt.figure() ax = Axes3D(fig) ax.scatter(X, Y, Z, s = 10, linewidth = 1 ) ax.<span...
Say we have a function called
write_img(t) that takes integer values. The for loop
for t in range(starting, ending): write_img(t)
can be replaced by
from multiprocessing import Pool a_pool = Pool() a_pool.map(write_img, range(staring, ending))
If you want to remove a large file from the repository which was accidentally committed and pushed to GitHub (possibly due to a sloppy
git filter-branch --force --index-filter \ 'git rm --cached --ignore-unmatch path/to/file.jpg' \ --prune-empty --tag-name-filter cat -- --all
Then, to delete the same in the remote repo,
git push origin --force --all
If you are working in a linux environment without superuser privileges, you can set up vim (or nvim) and its plugins in the following way.
~/.local/bin/vim) to local vim before the system vim path (
/usr/bin/vim) in your
share) of the extracted tar to
~/.localso that it can be launched
If we want to merge the branch
remote_branch to the branch
local_branch (the terms
local are well-defined in that sense), we do the following.
git branch local_branch
local) branch using
git checkout local_branch
remote) to the current one (
git merge remote_branch
Note: you may get ‘branch does not exist’ error, in that...