Connaissances Informatiques >> Logiciel >> Types de fichier d'extension >> Content
  Derniers articles
  • Quelle est l'extension du fichier Dv…
  • Quelle est l'extension du fichier GH…
  • Comment faire pour convertir une ext…
  • Quelle est l'extension du fichier Db…
  • Quelle est l'extension du fichier ND…
  • Quelle est l'extension du fichier XX…
  • Qu'est-ce que le fichier d'extension…
  • Quelle est l'extension du fichier Ra…
  • Comment afficher une extension de fi…
  • Comment ouvrir un fichier xlsx 
  •   Types de fichier d'extension
  • Adobe Illustrator

  • Un logiciel d'animation

  • antivirus Software

  • Logiciel audio

  • Sauvegarder des données

  • Gravez des CD

  • Gravez des DVD

  • Compression de données

  • Logiciel de base de données

  • desktop Publishing

  • desktop Video

  • Digital Video Software

  • Drupal

  • Logiciels éducatifs

  • Software Engineering

  • Types de fichier d'extension

  • Financial Software

  • Freeware , Shareware et Abandonware

  • GIMP

  • Graphics Software

  • Accueil Recording Software

  • Microsoft Access

  • Microsoft Excel

  • Microsoft Publisher

  • Microsoft Word

  • Code Open Source

  • Autres logiciels informatiques

  • Jeux PC

  • Photoshop

  • Portable Document Format

  • PowerPoint

  • Logiciel de présentation

  • Logiciels de productivité

  • Quicktime

  • Gestion Remote Desktop

  • SQL Server

  • Skype

  • Logiciel bêta de presse

  • Consultants logiciels

  • Les sociétés de développement de logiciels

  • Licences de logiciels

  • Tableur

  • Logiciel de préparation d' impôt

  • Logiciel utilitaire

  • Clip Art Web

  • Windows Media Player

  • Logiciel de traitement de texte
  •  
    Types de fichier d'extension

    Comment changer une extension de fichier sous Linux

    Modification de l' extension d'un fichier à partir de la ligne de commande Linux implique la même commande que de changer le nom du fichier lui-même : la commande " mv" ( move) . Essentiellement, vous êtes «bouger» le fichier original dans un nouveau fichier avec une extension différente . Si vous faites une erreur lors de la réaffectation d'une extension de fichier, vous pouvez utiliser la commande "mv " pour le changer en arrière. Instructions
    1

    Ouvrez votre application préférée en ligne de commande , comme Terminal (Mac OS X ) ou la ligne invite de commande ( Windows)
    2

    Connectez-vous à votre serveur: .

    ssh yourdomain.com

    Remplacez yourdomain.com avec votre nom de domaine spécifique ou une adresse IP .
    3

    Allez dans le répertoire où le fichier que vous souhaitez à modifier se trouve:

    cd /chemin /dossier /à

    Remplacez /path dossier /à /par le chemin spécifique à votre dossier, par exemple /var /public_html /yourdomain.com /public
    4 type de

    la commande suivante :

    mv filename.oldextension filename.newextension

    Par exemple, si vous voulez changer "index.html " à " index . php " vous devez taper la commande suivante:

    mv index.html index.php

     
    Article précédent:
    Article suivant:
    Articles recommandés
  • Quelle est l'extension du fichier Uwl 
  • Quelle est l'extension du fichier , MAIN 
  • Quelle est l'extension du fichier DBL 
  • Quelle est l'extension du fichier Eot 
  • Quelle est l'extension du fichier Slw 
  • Quel type de fichier a l'extension EXD 
  • Qu'est-ce que l' ECC Extension du fichier 
  • Quelle est l'extension Fpr Fichier 
  • Quelle est l'extension du fichier FPK 
  • Quelle est l'extension du fichier Hmk 
  • Connaissances Informatiques © http://www.ordinateur.cc