Boot a specific installed Ubuntu kernel using grub-reboot and grub-set-default.
This allows you to pick what kernel you want to boot on next reboot, or set the default, without having to know much about how grub works or editing config files.
Usage: boot-kernel [options] [kernel]
call grub-reboot or grub-set-default to boot the provided kernel.
| import pyarrow as pa | |
| import pyarrow.parquet as pq | |
| import numpy as np | |
| import os | |
| import pandas as pd | |
| import time | |
| import matplotlib.pyplot as plt | |
| pa.set_cpu_count(8) |
| #!/usr/bin/env python | |
| """ | |
| test_df_io.py - test writing and reading a Dataframe using different technologies | |
| """ | |
| import time | |
| from contextlib import contextmanager | |
| import fastparquet as fpq |
| from __future__ import print_function | |
| from math import sin, cos, radians | |
| import timeit | |
| ''' | |
| A simple Python benchmark. | |
| Results on an overclocked AMD FX-8150 Eight-Core CPU @ 3.0 GHz, and | |
| an Intel Core i5-2410M CPU @ 2.30GHz. |
| <IfModule mod_rewrite.c> | |
| RewriteEngine On | |
| RewriteRule ^index\.php$ - [L] | |
| RewriteRule (.*) ./index.php?id=$1 [L] | |
| </IfModule> |