Révision 00c0da18
env bash
| plugins/gpu/nvidia_gpu_ | ||
|---|---|---|
| 1 |
#!/bin/bash
|
|
| 1 |
#!/usr/bin/env bash
|
|
| 2 | 2 |
# -*- sh -*- |
| 3 | 3 |
|
| 4 | 4 |
: << =cut |
Formats disponibles : Unified diff
| ID | 00c0da18d58545a64f1ae16dadb74a8ef63993c7 |
| Parent | f5418e45 |
| Enfant | 2a84478f |
Ajouté par Nils il y a presque 8 ans
env bash
| plugins/gpu/nvidia_gpu_ | ||
|---|---|---|
| 1 |
#!/bin/bash
|
|
| 1 |
#!/usr/bin/env bash
|
|
| 2 | 2 |
# -*- sh -*- |
| 3 | 3 |
|
| 4 | 4 |
: << =cut |
Formats disponibles : Unified diff