Twitter iPhone pliant OnePlus 11 PS5 Disney+ Orange Livebox Windows 11

Yosemite : nom de fichier NON mis à jour

2 réponses
Avatar
Une Bévue
Dans un dossier 'php' j'ai un fichier qui était nommé '$_SERVER.php' et
que j'ai du renommer par TextMate en 'dolloard_SERVER.php :
.-[yt@mbp.local:~/sites/php][07:24:30]

'->$ ls -al
total 40
drwxr-xr-x 9 yt staff 306 24 avr 08:30 .
drwxr-xr-x 18 yt staff 612 20 avr 08:35 ..
-rw-r--r--@ 1 yt staff 865 29 mar 11:19 background.php
-rw-r--r--@ 1 yt staff 191 24 avr 08:34 dollard_SERVER.php <<<===
-rw-r--r--@ 1 yt staff 1393 19 déc 10:42 hostip.php
drwxr-xr-x@ 12 yt staff 408 4 jan 12:54 icons
-rw-r--r--@ 1 yt staff 1123 4 jan 12:57 info.php
drwxr-xr-x 3 yt staff 102 19 déc 18:30 tests
-rw-r--r--@ 1 yt staff 59 8 mar 16:31 whoami.php


Dans TextMate, il apparaît bien come 'dollard_SERVER.php" :
<https://www.dropbox.com/s/d46wjga3fuli12e/15_04_25__07_30_23__dollard_SERVER.php_sous_TextMate_on_mbp.png?dl=0>


Mais, dans le Finder il apparaît toujours sous son ancien nom
'$_SERVER.php' :
<https://www.dropbox.com/s/brq7cxz6ia8ahut/15_04_25__07_31_22__dollard_SERVER.php_sous_Finder_on_mbp.png?dl=0>

bizarre bizarre...

2 réponses

Avatar
Papa Schulz
Le 25/04/15 07:39, Une Bévue a écrit :

Dans un dossier 'php' j'ai un fichier qui était nommé '$_SERVER.php'



Ce n'est pas un fichier, c'est un nom de variable
Avatar
Une Bévue
Le 01/05/2015 23:57, Papa Schulz a écrit :

Ce n'est pas un fichier, c'est un nom de variable


oui, oui, justement, je l'avais nommé ainsi, par erreur puis modifié son
nom.